An axiom system that achieves this is as follows: (P1) Any two distinct points lie on a unique line.
Sebuah sistem aksioma yang menerimanya adalah yang berikut ini: (P1) Sembarang dua titik yang berbeda terletak pada sebuah garis unik.