Öklid’in Paralellik aksiyomu hala ispatlanamaz ama kurduğu sistemler farklı versiyonları ile farklı faydalar sağlar. Doğruluğu kendinden ispatlı, komplike sistemler ne kadar mükemmel görünse de hep eksiktir.