En 1931, Kurt Gödel demostró que cualquier sistema axiomático equivalente a los axiomas de Peano es incompleto y que si este sistema es consistente, no se puede utilizar para probar su consistencia (teorema de incompletitud de Gödel).