Euclides’in beşinci postulası olarak bilinen “paralellik postülası” matematikçiler tarafından apaçık şekilde kabul edilmeyerek, teorem gibi de ispatlanmıştır: M.S. birinci yüzyıla kadar, postulanın ispatı veya basit bir postulayla yer değiştirmesi için çaba sarfedilmiştir. Bunlardan bir kaçı bilinen postulalar şunlardır: Üçgenin iç  açıları toplamı 180o dir. Bir doğruya dışındaki noktadan bir tek paralel çizilebilir.