En 1936, Gentzen demuestra la consistencia de la teoría elemental de números.