A cada clase  k w-consistente y recursiva de formulae corresponden signos de clase r recursivos, de tal modo que ni  v Gen r ni Neg(v Gen r) pertenecen a Flg(k) (donde v es la vriable libre de r).

O dicho de otra forma:

En cualquier formalización consistente de las matemáticas que sea lo bastante fuerte para definir el concepto de números naturales, se puede construir una afirmación que ni se puede demostrar ni se puede refutar dentro de ese sistema.

Kurt Gödel