Esto significa que ninguna teoría aritmética en las condiciones del teorema es capaz de demostrar todos los enunciados verdaderos de la aritmética.