Uno de los conceptos más importantes en la teoría de números elementales es el del mayor divisor común de dos enteros. Sea a y b enteros, no ambos 0. Un divisor común de a y b es cualquier entero dist...Uno de los conceptos más importantes en la teoría de números elementales es el del mayor divisor común de dos enteros. Sea a y b enteros, no ambos 0. Un divisor común de a y b es cualquier entero distinto de cero que divide tanto a como b. El mayor número natural que divide tanto a como b se denomina el mayor divisor común de a y b.
Desde cierto punto de vista, no hay necesidad de la sección actual. Si estamos demostrando una afirmación existencial estamos desmentiendo alguna afirmación universal. (Que ya se discutió.) Del mismo ...Desde cierto punto de vista, no hay necesidad de la sección actual. Si estamos demostrando una afirmación existencial estamos desmentiendo alguna afirmación universal. (Que ya se discutió.) Del mismo modo, si estamos tratando de desmentir una afirmación existencial, entonces en realidad estamos demostrando una declaración universal relacionada. Sin embargo, a veces la forma en que se afirma un teorema enfatiza la cuestión de existencia sobre el universal correspondiente.
