Este teorema asevera que la consistencia de la propia aritmética es indemostrable dentro de la aritmética, ya que el conjunto de números de Gödel asociado al conjunto de teoremas demostrables no era representable dentro de la teoría como subconjunto recursivo.