Los teoremas muestran que para cualquier sistema formal que tenga el poder suficiente para expresar la aritmética, habrá proposiciones verdaderas en el sistema que no pueden ser demostradas, ni sus negaciones refutadas.