En cuanto a la completitud, el propio Gödel en sus teoremas de incompletitud demostró que si un sistema axiomático es lo suficientemente fuerte como para construir una aritmética recursiva, dicho sistema no puede ser completo y consistente.