A pesar de la naturaleza negativa de los teoremas de la incompletitud, el teorema de la complejidad de Gödel, un resultado en la teoría de modelos y otra aplicación de las matemáticas a la lógica, puede ser entendido como una demostración del logismo cercano: toda teoría matemática rigurosamente definida puede ser capturada exactamente por una teoría de primer orden.