TEOREMAS:

1. El primero  establece que ninguna teoría finitamente axiomatizable y capaz de derivar los postulados de Peano (esto es, abarcar un nivel mínimo de complejidad) es a la vez consistente y completa. En otras palabras, si se intenta elaborar una teoría fundacional de las matemáticas que establezca los axiomas y las reglas de inferencia asociadas a los mismos, de modo que sea posible estipular con precisión qué es y qué no es un axioma, la teoría resultante será bien insuficiente (no permitirá derivar los postulados de Peano), incompleta (existirá al menos una proposición matemáticamente válida que no será derivable de la teoría) o inconsistente.
2. El segundo afirma que si una teoría es finitamente axiomatizable, consistente y capaz de derivar los postulados de Peano, entonces dicha teoría no puede probar su propia consistencia. Mediante la demostración de las imperfecciones del sistema axiomático como herramienta, heredada de los antiguos griegos, para la elaboración de teorías complejas, completas y consistentes, la obra de Gödel echó definitivamente por tierra las empresas formalistas (Hilbert) y logicistas (Russell y Whitehead) y, en definitiva, más de un siglo de intentos de desarrollar una fundamentación de las matemáticas basada en dichos instrumentos.