Kurt Gödeń está considerado el lógico más importante desde Aristóteles. Su teorema de incompletitud demuestra que en todo sistema formal de aritmética existen enunciados verdaderos que, sin embargo, no pueden demostrarse.