Es de notar que los teoremas de Gödel sólo son aplicables a sistemas axiomáticos "suficientemente fuertes".