Totuși în 1936 Gerhard Gentzen parvine să demonstreze acest fapt capital , ca o aplicație a teoriei inducției transfinite .
totuși în 1936 Gerhard Gentzen parveni să demonstra acest fapt capital , ca un aplicație al teorie inducție transfinit .