Şimdi, Euclit’in beş aksiyomunu yazalım; 1. Aynı şeye eşit olan şeyler eşittir,2. Eşit şeylere eşit çokluklar eklenirse sonuç yine eşittir,3. Eşit şeylerden eşit çokluklar çıkarılırsa sonuç yine eşittir,4. Birbirleriyle çakışan şeyler birbirine eşittir,5. Bütün, parçalarından büyüktür.
[Linkleri görebilmek için üye olun veya giriş yapın.] Şimdi de postülatlara bazı örnekler verelim.
1. iki noktadan bir doğru geçer,
2. iki nokta arasındaki sürekli doğru sonludur,
3. Bir noktadan eşit uzaklıktaki noktaların geometrik yeri bir çemberdir,
4. Tüm dik açılar birbirine eşittir,
5. İki doğru bir doğru ile kesildiğinde kesenin bir tarafında oluşan iki iç açının toplamı 180 dereceden küçükse, bu iki doğru bu 180 dereceden küçük açıların bulun*duğu tarafta kesişirler.
Bu postülatlar daha sonraki Yunanlı bilginler tarafından çok İncelendi ve geliştirildi. Sidonlu Zeno (İ. Ö. I. yüzyıl) farklı iki doğrunun ortak bir doğru parçası yoktur. Dördüncü ve beşinci postulatların birer teorem olduğu yine ileri sürülmüştür. Proclus (460) dör*düncü postulatı bir teorem olarak almış, ispatlamaya çalışmış fakat başaramamıştır. Bu postülatın tersinin doğru olmasının gerekmediğini de ileri sürmüş ve bunu ispatla*mıştır. Saccheri (1773) bu postülatı farklı bir yolla ispatlamıştır.