1	レーヴェンハイム	レーヴェンハイム	PROPN	NNP	lin=-2|original_id=12	4	compound	_	_
2	、	、	PUNCT	SYM	lin=+1|original_id=11	25	punct	_	_
3	定理	定理	NOUN	NN	original_id=5	25	nmod	_	_
4	スコーレム	スコーレム	PROPN	NNP	original_id=14	6	nmod	_	_
5	性	性	NOUN	XS	lin=-1|original_id=4	3	compound	_	_
6	定理	定理	NOUN	NN	original_id=16	15	nmod	_	_
7	性	性	NOUN	XS	lin=-1|original_id=21	15	compound	_	_
8	ゲーデル	ゲーデル	PROPN	NNP	original_id=18	15	nmod	_	_
9	の	の	ADP	PN	original_id=15	4	case	_	_
10	-	-	NOUN	NN	lin=-1|original_id=13	4	compound	_	_
11	だ	である	AUX	AV	original_id=24	15	cop	_	_
12	クレイグ	クレイグ	PROPN	NNP	original_id=7	25	nmod	_	_
13	、	、	PUNCT	SYM	lin=+1|original_id=17	6	punct	_	_
14	、	、	PUNCT	SYM	lin=+1|original_id=2	16	punct	_	_
15	定理	定理	NOUN	NN	original_id=22	0	root	_	_
16	例えば	例えば	ADV	RB	original_id=1	15	advmod	_	_
17	など	など	ADP	PA	original_id=23	15	case	_	_
18	コンパクト	コンパクト	NOUN	NN	lin=-2|original_id=3	3	compound	_	_
19	の	の	ADP	PN	original_id=8	12	case	_	_
20	、	、	PUNCT	SYM	lin=+1|original_id=6	3	punct	_	_
21	。	。	PUNCT	SYM	lin=+1|original_id=25	15	punct	_	_
22	完全	完全	NOUN	NN	lin=-2|original_id=20	15	compound	_	_
23	の	の	ADP	PN	original_id=19	8	case	_	_
24	補間	補間	NOUN	NN	lin=-1|original_id=9	25	compound	_	_
25	定理	定理	NOUN	NN	original_id=10	6	nmod	_	_
例えば、コンパクト性定理、クレイグの補間定理、レーヴェンハイム-スコーレムの定理、ゲーデルの完全性定理などである。