Aprioorsus
propositsioonide teadmisele a priori. Ent kui seisukoht, et puhas
geomeetria tegeleb füüsikalise ruumiga, oli piisavalt usutav Kan-
ti päevil, mil Eukleidese geomeetria oli ainuke geomeetria, mida
tunti, siis hilisem mitteeukleidiliste geomeetriate leiutamine on
näidanud, et see on ekslik. Nüüd näeme, et geomeetria aksioomid
on lihtsalt definitsioonid ja et geomeetria teoreemid on lihtsalt
nende definitsioonide loogilised järeldused. (Vrd Poincar´e 1914:
II osa, ptk iii.) Geomeetria iseenesest ei käi füüsikalise ruumi koh-
ta; ei saa öelda, et see iseendast üldse millegi "kohta" käiks. Aga
me võime geomeetriat kasutada füüsikalise ruumi üle arutlemisel.
See tähendab, kui oleme kord andnud aksioomidele füüsikalise
tõlgenduse, võime järgnevalt rakendada teoreeme objektide pu-
hul, mis rahuldavad neid aksioome. Kas geomeetriat saab raken-
dada tegeliku füüsikalise maailma puhul või ei, on empiiriline