Parallelenaxiom
In der euklidischen Ebene gibt es zu jeder Geraden (g) und jedem Punkt (P) außerhalb der Geraden genau eine Gerade (h), auf der P liegt und die keinen gemeinsamen Punkt mit g besitzt. Dieses Axiom kann nicht aus den anderen euklidischen Axiomen abgeleitet werden. Lässt man dieses Axiom fallen, so kommt man zur -> nicht-euklidischen Geometrie.