Přijmeme proto kvůli stručnosti autorovu terminologii a budeme mluvit prostě o Gödelově větě.
1	Přijmeme	přijmout	VERB	VB-P---1P-AA---	Mood=Ind|Number=Plur|Person=1|Polarity=Pos|Tense=Pres|VerbForm=Fin|Voice=Act	0	root	0:root	LId=přijmout-2
2	proto	proto	CCONJ	J^-------------	_	1	cc	1:cc	LId=proto-1|LGloss=(proto;_a_proto,_ale_proto,...)
3	kvůli	kvůli	ADP	RR--3----------	AdpType=Prep|Case=Dat	4	case	4:case	_
4	stručnosti	stručnost	NOUN	NNFS3-----A----	Case=Dat|Gender=Fem|Number=Sing|Polarity=Pos	1	obl	1:obl:kvůli:dat	LDeriv=stručný
5	autorovu	autorův	ADJ	AUFS4M---------	Case=Acc|Gender=Fem|Gender[psor]=Masc|Number=Sing|Poss=Yes	6	amod	6:amod	LDeriv=autor
6	terminologii	terminologie	NOUN	NNFS4-----A----	Case=Acc|Gender=Fem|Number=Sing|Polarity=Pos	1	obj	1:obj	_
7	a	a	CCONJ	J^-------------	_	9	cc	9:cc	LId=a-1
8	budeme	být	AUX	VB-P---1F-AA---	Mood=Ind|Number=Plur|Person=1|Polarity=Pos|Tense=Fut|VerbForm=Fin|Voice=Act	9	aux	9:aux	_
9	mluvit	mluvit	VERB	Vf--------A----	Aspect=Imp|Polarity=Pos|VerbForm=Inf	1	conj	0:root|1:conj	_
10	prostě	prostě	ADV	Dg-------1A----	Degree=Pos|Polarity=Pos	9	advmod	9:advmod	_
11	o	o	ADP	RR--6----------	AdpType=Prep|Case=Loc	13	case	13:case	LId=o-1
12	Gödelově	Gödelův	ADJ	AUFS6M---------	Case=Loc|Gender=Fem|Gender[psor]=Masc|NameType=Sur|Number=Sing|Poss=Yes	13	amod	13:amod	LDeriv=Gödel
13	větě	věta	NOUN	NNFS6-----A----	Case=Loc|Gender=Fem|Number=Sing|Polarity=Pos	9	obl:arg	9:obl:arg:o:loc	SpaceAfter=No
14	.	.	PUNCT	Z:-------------	_	1	punct	1:punct	_
