 |
| Bernard Bolzano |
Bolzano comienza diciendo que la afirmación P: "Existe al menos una afirmación verdadera" es verdadera (en efecto, dada cualquier afirmación Q, o bien Q, o bien su negación, es verdadera; por lo tanto es verdad que existe alguna afirmación verdadera); a continuación deduce que cada una de las siguientes afirmaciones es verdadera:
P
P es verdadera
"P es verdadera" es verdadera
""P es verdadera" es verdadera" es verdadera
etc.
...y llega a la conclusión de que el conjunto de todas las afirmaciones verdaderas es infinito.
Por otra parte, en el capítulo 13 de su libro Introducción a la Filosofía Matemática, Bertrand Russell discute la existencia de algún conjunto infinito y concluye que esa existencia no puede ser demostrada por lo que debe ser postulada como axioma. En esa discusión Russell no hace referencia alguna a la demostración de Bolzano, que seguramente Russell conocía, aunque tal vez no consideraba válida.
