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.
