Él es más conocido por su demostración de los " Teoremas de Incompletitud de Gödel".

Dado que los teoremas de incompletitud de Gödel se han demostrado ciertos, ¿puede decirse de cualquier sistema que se conoce a sí mismo?