Esto es, para todo conjunto de axiomas de la aritmética construible por el hombre existe una fórmula que se obtiene de la aritmética pero es indemostrable en ese sistema.