La prima idea di Goedel fu di rimpiazzare le perfezioni, che non è ben chiaro che cosa siano, con le proprietà positive, di cui invece non si sa per niente cosa siano.
Piergiorgio Odifreddi, nell’appendice de “La prova matematica dell’esistenza di Dio” di Kurt Goedel, Bollati Boringhieri ed. (via noneun)
la logica è davvero una cosa seria
