Gerhard Gentzen (24 Nov 1909 Jahr – 4 Aug 1945 Jahr)
Beschreibung:
El alemán Gentzen (1909-1945) formuló la prueba de la consistencia de un sistema de aritmética clásica en el cual el método no elemental es una extensión de inducción matemática a partir de una secuencia de números naturales a un cierto segmento de números ordinales transfinitos.