Por tanto no existe una demostración de , y se cumple para todos los números , lo cual resulta en un número infinito de teoremas formales para cada numeral .