خیام تلاش کرد نشان دهد که این باور یک اصل که ضرورت آن بدیهی باشد نیست بلکه بر اساس اصول دیگر قابل اثبات است.
1	خیام	خیام	NOUN	N_SING	Number=Sing	3	nsubj	_	Translit=ḫīām|LTranslit=ḫīām
2	تلاش	تلاش	NOUN	N_SING	Number=Sing	3	compound:lvc	_	Translit=tlāš|LTranslit=tlāš
3	کرد	کرد	VERB	V_PA	Number=Sing|Person=3|Tense=Past	0	root	_	OrigLemma=کرد#کن|Translit=krd|LTranslit=krd
4	نشان	نشان	NOUN	N_SING	Number=Sing	5	compound:lvc	_	Translit=nšān|LTranslit=nšān
5	دهد	داد	VERB	V_SUB	Mood=Sub|Number=Sing|Person=3|Tense=Pres	3	ccomp	_	OrigLemma=داد#ده|Translit=dhd|LTranslit=dād
6	که	که	SCONJ	CON	_	16	mark	_	Translit=kh|LTranslit=kh
7	این	این	DET	DET	_	8	det	_	Translit=āīn|LTranslit=āīn
8	باور	باور	NOUN	N_SING	Number=Sing	16	nsubj	_	Translit=bāūr|LTranslit=bāūr
9	یک	یک	NUM	NUM	NumType=Card	10	nummod	_	Translit=īk|LTranslit=īk
10	اصل	اصل	NOUN	N_SING	Number=Sing	16	xcomp	_	Translit=āṣl|LTranslit=āṣl
11	که	که	SCONJ	CON	_	14	mark	_	Translit=kh|LTranslit=kh
12	ضرورت	ضرورت	NOUN	N_SING	Number=Sing	14	nsubj	_	Translit=ḍrūrt|LTranslit=ḍrūrt
13	آن	آن	PRON	PRO	Number=Sing|PronType=Dem	12	nmod:poss	_	Translit=Ān|LTranslit=Ān
14	بدیهی	بدیهی	ADJ	ADJ	Degree=Pos	10	acl:relcl	_	Translit=bdīhī|LTranslit=bdīhī
15	باشد	بود	AUX	V_SUB	Mood=Sub|Number=Sing|Person=3|Tense=Pres	14	cop	_	OrigLemma=بود#باش|Translit=bāšd|LTranslit=būd
16	نیست	هست	VERB	V_PRS	Number=Sing|Person=3|Polarity=Neg|Tense=Pres	3	ccomp	_	Translit=nīst|LTranslit=hst
17	بلکه	بلکه	CCONJ	CON	_	22	cc	_	Translit=blkh|LTranslit=blkh
18	بر	بر	ADP	P	_	19	case	_	Translit=br|LTranslit=br
19	اساس	اساس	NOUN	N_SING	Number=Sing	22	nmod	_	Translit=āsās|LTranslit=āsās
20	اصول	اصل	NOUN	N_PL	Number=Plur	19	nmod:poss	_	Translit=āṣūl|LTranslit=āṣl
21	دیگر	دیگر	ADJ	ADJ	Degree=Pos	20	amod	_	Translit=dīgr|LTranslit=dīgr
22	قابل	قابل	ADJ	ADJ	Degree=Pos	10	conj	_	Translit=qābl|LTranslit=qābl
23	اثبات	اثبات	NOUN	N_SING	Number=Sing	22	nmod:poss	_	Translit=āṯbāt|LTranslit=āṯbāt
24	است	است	AUX	V_PRS	Number=Sing|Person=3|Tense=Pres	22	cop	_	SpaceAfter=No|Translit=āst|LTranslit=āst
25	.	.	PUNCT	DELM	_	3	punct	_	Translit=.|LTranslit=.
