Gödelova věta říká zhruba toto: Mějme bezrozporný axiomatický systém natolik bohatý, aby v něm mohla být formalizována aritmetika přirozených čísel.
1	Gödelova	Gödelův	ADJ	AUFS1M---------	Case=Nom|Gender=Fem|Gender[psor]=Masc|NameType=Sur|Number=Sing|Poss=Yes	2	amod	2:amod	LDeriv=Gödel
2	věta	věta	NOUN	NNFS1-----A----	Case=Nom|Gender=Fem|Number=Sing|Polarity=Pos	3	nsubj	3:nsubj	_
3	říká	říkat	VERB	VB-S---3P-AA---	Aspect=Imp|Mood=Ind|Number=Sing|Person=3|Polarity=Pos|Tense=Pres|VerbForm=Fin|Voice=Act	0	root	0:root	_
4	zhruba	zhruba	ADV	Db-------------	_	5	advmod:emph	5:advmod:emph	_
5	toto	tento	DET	PDNS4----------	Case=Acc|Gender=Neut|Number=Sing|PronType=Dem	3	obj	3:obj	SpaceAfter=No
6	:	:	PUNCT	Z:-------------	_	7	punct	7:punct	_
7	Mějme	mít	VERB	Vi-P---1--A----	Mood=Imp|Number=Plur|Person=1|Polarity=Pos|VerbForm=Fin	5	appos	5:appos	_
8	bezrozporný	bezrozporný	ADJ	AAIS4----1A----	Animacy=Inan|Case=Acc|Degree=Pos|Gender=Masc|Number=Sing|Polarity=Pos	10	amod	10:amod	_
9	axiomatický	axiomatický	ADJ	AAIS4----1A----	Animacy=Inan|Case=Acc|Degree=Pos|Gender=Masc|Number=Sing|Polarity=Pos	10	amod	10:amod	_
10	systém	systém	NOUN	NNIS4-----A----	Animacy=Inan|Case=Acc|Gender=Masc|Number=Sing|Polarity=Pos	7	obj	7:obj	_
11	natolik	natolik	ADV	Db-------------	_	12	advmod	12:advmod	_
12	bohatý	bohatý	ADJ	AAIS4----1A----	Animacy=Inan|Case=Acc|Degree=Pos|Gender=Masc|Number=Sing|Polarity=Pos	10	amod	10:amod	SpaceAfter=No
13	,	,	PUNCT	Z:-------------	_	18	punct	18:punct	_
14-15	aby	_	_	_	_	_	_	_	_
14	aby	aby	SCONJ	J,-------------	_	18	mark	18:mark	_
15	by	být	AUX	Vc-------------	Mood=Cnd|Person=3|VerbForm=Fin	18	aux	18:aux	_
16	v	v	ADP	RR--6----------	AdpType=Prep|Case=Loc	17	case	17:case	LId=v-1
17	něm	on	PRON	P5ZS6--3-------	Case=Loc|Gender=Masc,Neut|Number=Sing|Person=3|PrepCase=Pre|PronType=Prs	18	obl	18:obl:v:loc	LId=on-1
18	mohla	moci	VERB	VpQW---XR-AA---	Gender=Fem,Neut|Number=Plur,Sing|Polarity=Pos|Tense=Past|VerbForm=Part|Voice=Act	7	advcl	7:advcl:aby	LGloss=(mít_možnost_[něco_dělat])
19	být	být	AUX	Vf--------A----	Polarity=Pos|VerbForm=Inf	20	aux:pass	20:aux:pass	_
20	formalizována	formalizovaný	ADJ	VsQW---XX-AP---	Gender=Fem,Neut|Number=Plur,Sing|Polarity=Pos|Variant=Short|VerbForm=Part|Voice=Pass	18	ccomp	18:ccomp	LDeriv=formalizovat
21	aritmetika	aritmetika	NOUN	NNFS1-----A----	Case=Nom|Gender=Fem|Number=Sing|Polarity=Pos	18	nsubj	18:nsubj	_
22	přirozených	přirozený	ADJ	AANP2----1A----	Case=Gen|Degree=Pos|Gender=Neut|Number=Plur|Polarity=Pos	23	amod	23:amod	_
23	čísel	číslo	NOUN	NNNP2-----A----	Case=Gen|Gender=Neut|Number=Plur|Polarity=Pos	21	nmod	21:nmod:gen	SpaceAfter=No
24	.	.	PUNCT	Z:-------------	_	3	punct	3:punct	_
