Protože paradox vede k logickému sporu, je podle B. Švandové důsledkem Gödelovy věty to, že je-li (dostatečně bohatý) axiomatický systém bezesporný, pak nutně obsahuje spor.
1	Protože	protože	SCONJ	J,-------------	_	3	mark	3:mark	_
2	paradox	paradox	NOUN	NNIS1-----A----	Animacy=Inan|Case=Nom|Gender=Masc|Number=Sing|Polarity=Pos	3	nsubj	3:nsubj	_
3	vede	vést	VERB	VB-S---3P-AA---	Mood=Ind|Number=Sing|Person=3|Polarity=Pos|Tense=Pres|VerbForm=Fin|Voice=Act	13	advcl	13:advcl:protože	LId=vést-1
4	k	k	ADP	RR--3----------	AdpType=Prep|Case=Dat	6	case	6:case	LId=k-1
5	logickému	logický	ADJ	AAIS3----1A----	Animacy=Inan|Case=Dat|Degree=Pos|Gender=Masc|Number=Sing|Polarity=Pos	6	amod	6:amod	_
6	sporu	spor	NOUN	NNIS3-----A----	Animacy=Inan|Case=Dat|Gender=Masc|Number=Sing|Polarity=Pos	3	obl	3:obl:k:dat	SpaceAfter=No|LGloss=([soudní]_pře)
7	,	,	PUNCT	Z:-------------	_	3	punct	3:punct	_
8	je	být	AUX	VB-S---3P-AA---	Mood=Ind|Number=Sing|Person=3|Polarity=Pos|Tense=Pres|VerbForm=Fin|Voice=Act	13	cop	13:cop	_
9	podle	podle	ADP	RR--2----------	AdpType=Prep|Case=Gen	10	case	10:case	LId=podle-2
10	B	B	PROPN	NNFXX-----A---8	Abbr=Yes|Gender=Fem|NameType=Giv|Polarity=Pos	13	obl	13:obl:podle:gen	SpaceAfter=No|LId=B-0
11	.	.	PUNCT	Z:-------------	_	10	punct	10:punct	_
12	Švandové	Švandová	PROPN	NNFS2-----A----	Case=Gen|Gender=Fem|NameType=Sur|Number=Sing|Polarity=Pos	10	flat	10:flat	_
13	důsledkem	důsledek	NOUN	NNIS7-----A----	Animacy=Inan|Case=Ins|Gender=Masc|Number=Sing|Polarity=Pos	0	root	0:root	_
14	Gödelovy	Gödelův	ADJ	AUFS2M---------	Case=Gen|Gender=Fem|Gender[psor]=Masc|NameType=Sur|Number=Sing|Poss=Yes	15	amod	15:amod	LDeriv=Gödel
15	věty	věta	NOUN	NNFS2-----A----	Case=Gen|Gender=Fem|Number=Sing|Polarity=Pos	13	nmod	13:nmod:gen	_
16	to	ten	DET	PDNS1----------	Case=Nom|Gender=Neut|Number=Sing|PronType=Dem	13	nsubj	13:nsubj	SpaceAfter=No
17	,	,	PUNCT	Z:-------------	_	32	punct	32:punct	_
18	že	že	SCONJ	J,-------------	_	32	mark	32:mark	_
19	je	být	AUX	VB-S---3P-AA---	Mood=Ind|Number=Sing|Person=3|Polarity=Pos|Tense=Pres|VerbForm=Fin|Voice=Act	28	cop	28:cop	SpaceAfter=No
20	-	-	PUNCT	Z:-------------	_	28	punct	28:punct	SpaceAfter=No
21	li	li	PART	TT-------------	_	28	mark	28:mark	_
22	(	(	PUNCT	Z:-------------	_	24	punct	24:punct	SpaceAfter=No
23	dostatečně	dostatečně	ADV	Dg-------1A----	Degree=Pos|Polarity=Pos	24	advmod	24:advmod	LDeriv=dostatečný
24	bohatý	bohatý	ADJ	AAIS1----1A----	Animacy=Inan|Case=Nom|Degree=Pos|Gender=Masc|Number=Sing|Polarity=Pos	27	amod	27:amod	SpaceAfter=No
25	)	)	PUNCT	Z:-------------	_	24	punct	24:punct	_
26	axiomatický	axiomatický	ADJ	AAIS1----1A----	Animacy=Inan|Case=Nom|Degree=Pos|Gender=Masc|Number=Sing|Polarity=Pos	27	amod	27:amod	_
27	systém	systém	NOUN	NNIS1-----A----	Animacy=Inan|Case=Nom|Gender=Masc|Number=Sing|Polarity=Pos	28	nsubj	28:nsubj	_
28	bezesporný	bezesporný	ADJ	AAIS1----1A----	Animacy=Inan|Case=Nom|Degree=Pos|Gender=Masc|Number=Sing|Polarity=Pos	32	advcl	32:advcl:li	SpaceAfter=No
29	,	,	PUNCT	Z:-------------	_	28	punct	28:punct	_
30	pak	pak	ADV	Db-------------	_	32	advmod	32:advmod	_
31	nutně	nutně	ADV	Dg-------1A----	Degree=Pos|Polarity=Pos	32	advmod	32:advmod	LDeriv=nutný
32	obsahuje	obsahovat	VERB	VB-S---3P-AA---	Aspect=Imp|Mood=Ind|Number=Sing|Person=3|Polarity=Pos|Tense=Pres|VerbForm=Fin|Voice=Act	16	acl	16:acl:že	_
33	spor	spor	NOUN	NNIS4-----A----	Animacy=Inan|Case=Acc|Gender=Masc|Number=Sing|Polarity=Pos	32	obj	32:obj	SpaceAfter=No|LGloss=([soudní]_pře)
34	.	.	PUNCT	Z:-------------	_	13	punct	13:punct	_
