Consistencia e inconsistencia en la matemática (de un sistema axiomático deductivo) (1971)
(1) Axiomas iniciales de la geometría Euclideana. Axioma 1. Toda recta es una proyección de puntos.