Öklid'in 5 postülası ve Öklid teoremi arasındaki ilişki şu şekildedir: Postülalar, Öklid geometrisinin temelini oluşturan, ispatsız kabul edilen genel doğrulardır. Öklid'in 5 postülası şunlardır: 1. İki noktadan bir ve yalnız bir doğru geçer. 2. Bir doğru parçası iki yöne de sınırsız bir şekilde uzatılabilir. 3. Merkezi ve üzerinde bir noktası (yarıçapı) verilen bir çember çizilebilir. 4. Bütün dik açılar birbirine eşittir. 5. Paralellik postülatı: İki düz çizgi üzerine düşen bir doğru, aynı taraftaki iç açıları iki dik açıdan daha az yapıyorsa, iki düz çizgi, eğer yeteri kadar uzağa uzanırsa, o tarafta birbiriyle kesişmelidir. Teoremler ise, postülalardan türetilen, yani ispatlanan ifadelerdir. Dolayısıyla, Öklid teoremleri, Öklid'in postülalarının mantıksal sonuçlarıdır.