Öklid geometrisi
Öklid geometrisi, İskenderiyeli Yunan matematikçi Öklid’e atfedilen matematiksel bir sistemdir ve onun Elementler adlı geometri üzerine ders kitabında tarif edilmektedir. Öklid'in yöntemi, sezgisel olarak çekici küçük bir aksiyom seti varsaymaktan ve bu aksiyomlara dayanarak birçok başka önermeyi (teoremleri) çıkarmaktan ibarettir. Öklid'in sonuçlarının çoğu daha önceki matematikçiler tarafından ifade edilmiş olsa da, Öklid, bu önermelerin kapsamlı bir tümdengelimli ve mantıksal sisteme nasıl uyabileceğini gösteren ilk kişi oldu.