Totuși în 1936 Gerhard Gentzen parvine să demonstreze acest fapt capital, ca o aplicație a teoriei inducției transfinite.
1	Totuși	totuși	ADV	Rgp	Degree=Pos	6	advmod	_	_
2	în	în	ADP	Spsa	AdpType=Prep|Case=Acc	3	case	_	_
3	1936	1936	NUM	Mc-s-d	Number=Sing|NumForm=Digit|NumType=Card	6	nummod	_	_
4	Gerhard	Gerhard	PROPN	Np	_	6	nsubj	_	_
5	Gentzen	Gentzen	PROPN	Np	_	4	flat	_	_
6	parvine	parveni	VERB	Vmip3s	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
7	să	să	PART	Qs	Mood=Sub	8	mark	_	_
8	demonstreze	demonstra	VERB	Vmsp3	Mood=Sub|Person=3|Tense=Pres|VerbForm=Fin	6	xcomp	_	_
9	acest	acest	DET	Dd3msr---e	Case=Acc,Nom|Gender=Masc|Number=Sing|Person=3|Position=Prenom|PronType=Dem	10	det	_	_
10	fapt	fapt	NOUN	Ncms-n	Definite=Ind|Gender=Masc|Number=Sing	8	obj	_	_
11	capital	capital	ADJ	Afpms-n	Definite=Ind|Degree=Pos|Gender=Masc|Number=Sing	10	amod	_	SpaceAfter=No
12	,	,	PUNCT	COMMA	_	15	punct	_	_
13	ca	ca	ADP	Spsa	AdpType=Prep|Case=Acc	15	case	_	_
14	o	un	DET	Tifsr	Case=Acc,Nom|Gender=Fem|Number=Sing|PronType=Ind	15	det	_	_
15	aplicație	aplicație	NOUN	Ncfsrn	Case=Acc,Nom|Definite=Ind|Gender=Fem|Number=Sing	8	obl	_	_
16	a	al	DET	Tsfs	Gender=Fem|Number=Sing|Poss=Yes|PronType=Prs	17	det	_	_
17	teoriei	teorie	NOUN	Ncfsoy	Case=Dat,Gen|Definite=Def|Gender=Fem|Number=Sing	15	nmod	_	_
18	inducției	inducție	NOUN	Ncfsoy	Case=Dat,Gen|Definite=Def|Gender=Fem|Number=Sing	17	nmod	_	_
19	transfinite	transfinit	ADJ	Afpfson	Case=Dat,Gen|Definite=Ind|Degree=Pos|Gender=Fem|Number=Sing	18	amod	_	SpaceAfter=No
20	.	.	PUNCT	PERIOD	_	6	punct	_	_
