L’altra misura/2
Senza l’amore per Dio e senza la sua grazia, a che ti gioverebbe una conoscenza esteriore di tutta la Bibbia e delle dottrine di tutti i filosofi? Questa è la massima sapienza: tendere ai regni celesti, disprezzando questo mondo. (L’imitazione di Cristo, cap. 1)
Se un sistema formale S è consistente, allora esiste un enunciato V vero ma non dimostrabile in S. (Gödel, Primo teorema di incompletezza)
ld
