Geometri projektif

Sembarang geometri yang diberikan dapat dideduksi dari sehimpunan aksioma-aksioma yang bersesuaian. Geometri projektif dikarakterisasi oleh aksioma "sejajar eliptik", yakni bahwa "dua bidang sembarang selalu bertemu pada hanya satu garis", atau pada suatu bidang, "dua garis sembarang selalu bertemu pada hanya satu titik." Dalam perkataan lain, tidak ada hal-hal seperti garis paralel atau bidang paralel dalam geometri projektif. Banyak himpunan aksioma-aksioma alternatif untuk geometri projektif yang telah diajukan (misalnya lihatlah contoh dalam Coxeter 2003, Hilbert & Cohn-Vossen 1999, Greenberg 1980).