Dado un conjunto finito de axiomas, "existe un número de verdades infinitas que esos axiomas no pueden demostrar."