Gödel demostró que no se podía demostrar la completitud de ningún sistema formal no contradictorio que fuera suficientemente amplio para incluir al menos la aritmética, solo mediante sus propios axiomas.