Geometri projektif

Seseorang dapat mengikuti aksiomatisasi dengan cara mempostulatkan sebuah relasi terner, [ABC] untuk mendenotasi ketika tiga titik (tidak perlu semuanya berbeda) adalah kolinear. Sebuah aksiomatisasi dapat dituliskan juga dalam suku-suku relasi ini: