Abstract
No artigo de 1936 "A consistência da teoria elementar de números", Gentzen oferece uma prova da consistencia dessa teoria usando técnicas que segundo ele enquadrar-se-iam como técnicas finitárias. Também afirma, no artigo citado, que tais técnicas ultrapassam as técnicas admissíveis na teoria elementar de números.