Geometri projektif

Untuk dua titik yang berbeda, A dan B, garis AB didefinisi sebagai memuat semua titik di C sehingga [ABC]. Aksioma C0 dan C1 kemudian menyediakan sebuah formalisasi G2; C2 untuk G1, dan C3 untuk G3.