- Αν ένα σύστημα είναι συνεπές, τότε δεν μπορεί να είναι πλήρες
- Η συνέπεια των αξιωμάτων δεν μπορεί να αποδειχθεί μέσω του συστήματος


Ο Γκέντελ έγινε μόνιμο μέλος της IAS (Ίδρυμα Προκεχωρημένων Σπουδών του Πρίνστον) το 1946. Περίπου τότε σταμάτησε την έκδοση νέων έργων, αν και συνέχισε να εργάζεται. Έγινε καθηγητής στο ίδιο Ίδρυμα το 1953 και ομότιμος καθηγητής το 1976.


1. Το βιβλίο: Αιχμάλωτος των Μαθηματικών. Ο Κουρτ Γκέντελ και το θεώρημα της Μη Πληρότητας, εκδ. Τραυλός
2. Δοξιάδη Απόστολου:Το θεώρημα Μη Πληρότητας
3. Wikipedia
4. Το βιβλίο: Ένας κόσμος δίχως χρόνο Η ξεχασμένη κληρονομιά των Γκέντελ και Αϊνστάιν, εκδ. Τραυλός