Totuși în 1936 Gerhard Gentzen parvine să demonstreze acest fapt capital , ca o aplicație a teoriei inducției transfinite .
totuși$36 în$698 1936$1030 Gerhard$0 Gentzen$0 parveni$758 să$732 demonstra$718 acest$830 fapt$16 capital$70 ,$0 ca$698 un$764 aplicație$714 al$788 teorie$712 inducție$712 transfinit$840 .$0