Dalam geometri dikenal dengan geometri insidensi. Geometri insidensi adalah geometri yang didasari oleh aksioma insidensi, geometri ini mendasari geometri Euclides yang telah kita kenal pada sekolah menengah. Menurut David Hilbert geometri Euclides didasarkan pada lima kelompok aksioma berikut:
- Kelompok Aksioma Insidensi.
- Kelompok Aksioma Urutan.
- Kelompok Aksioma Kekongruenan.
- Aksioma kesejajaran Euclides.
- Aksioma Kekontinuan
Dalam kelompok aksioma insidensi terdapat 6 aksioma. Pada postingan ini, ditulis 2 aksioma insidensi yaitu aksioma insidensi 1 dan 2. Dua aksioma insidensi tersebut adalah:
- Garis adalah himpunan titik-titik yang mengandung paling sedikit dua titik.
- Dua titik yang berlainan terkandung dalam tepat satu garis (satu dan tidak lebih dari satu garis).
Sebagaimana diketahui bahwa aksioma merupakan pernyataan yang disepakati kebenarannya tanpa harus dibuktikan atau dibandingkan dengan pernyataan lain.