Gödelova věta se tedy proslavila tím, že dokázala nutnost logického sporu v každém bezesporném systému axiomatizujícím aritmetiku 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	5	nsubj	5:nsubj	_
3	se	se	PRON	P7-X4----------	Case=Acc|PronType=Prs|Reflex=Yes|Variant=Short	5	expl:pv	5:expl:pv	LGloss=(zvr._zájmeno/částice)
4	tedy	tedy	ADV	Db-------------	_	5	advmod	5:advmod	_
5	proslavila	proslavit	VERB	VpQW---XR-AA---	Aspect=Perf|Gender=Fem,Neut|Number=Plur,Sing|Polarity=Pos|Tense=Past|VerbForm=Part|Voice=Act	0	root	0:root	_
6	tím	ten	DET	PDZS7----------	Case=Ins|Gender=Masc,Neut|Number=Sing|PronType=Dem	5	obl	5:obl:ins	SpaceAfter=No
7	,	,	PUNCT	Z:-------------	_	9	punct	9:punct	_
8	že	že	SCONJ	J,-------------	_	9	mark	9:mark	_
9	dokázala	dokázat	VERB	VpQW---XR-AA---	Gender=Fem,Neut|Number=Plur,Sing|Polarity=Pos|Tense=Past|VerbForm=Part|Voice=Act	6	acl	6:acl:že	_
10	nutnost	nutnost	NOUN	NNFS4-----A----	Case=Acc|Gender=Fem|Number=Sing|Polarity=Pos	9	obj	9:obj	LDeriv=nutný
11	logického	logický	ADJ	AAIS2----1A----	Animacy=Inan|Case=Gen|Degree=Pos|Gender=Masc|Number=Sing|Polarity=Pos	12	amod	12:amod	_
12	sporu	spor	NOUN	NNIS2-----A----	Animacy=Inan|Case=Gen|Gender=Masc|Number=Sing|Polarity=Pos	10	nmod	10:nmod:gen	LGloss=([soudní]_pře)
13	v	v	ADP	RR--6----------	AdpType=Prep|Case=Loc	16	case	16:case	LId=v-1
14	každém	každý	DET	AAIS6----1A----	Animacy=Inan|Case=Loc|Gender=Masc|Number=Sing|PronType=Tot	16	det	16:det	_
15	bezesporném	bezesporný	ADJ	AAIS6----1A----	Animacy=Inan|Case=Loc|Degree=Pos|Gender=Masc|Number=Sing|Polarity=Pos	16	amod	16:amod	_
16	systému	systém	NOUN	NNIS6-----A----	Animacy=Inan|Case=Loc|Gender=Masc|Number=Sing|Polarity=Pos	9	obl	9:obl:v:loc	_
17	axiomatizujícím	axiomatizující	ADJ	AGIS6-----A----	Animacy=Inan|Aspect=Imp|Case=Loc|Gender=Masc|Number=Sing|Polarity=Pos|Tense=Pres|VerbForm=Part|Voice=Act	16	amod	16:amod	LDeriv=axiomatizovat
18	aritmetiku	aritmetika	NOUN	NNFS4-----A----	Case=Acc|Gender=Fem|Number=Sing|Polarity=Pos	17	obj	17:obj	_
19	přirozených	přirozený	ADJ	AANP2----1A----	Case=Gen|Degree=Pos|Gender=Neut|Number=Plur|Polarity=Pos	20	amod	20:amod	_
20	čísel	číslo	NOUN	NNNP2-----A----	Case=Gen|Gender=Neut|Number=Plur|Polarity=Pos	18	nmod	18:nmod:gen	SpaceAfter=No
21	.	.	PUNCT	Z:-------------	_	5	punct	5:punct	_
