Das Parallelenaxiom ist ein viel diskutiertes Axiom der euklidischen Geometrie. In einer häufig gebrauchten, auf John Playfair zurückgehenden Formulierung besagt es:
„In einer Ebene gibt es zu jeder Geraden und jedem Punkt außerhalb von genau eine Gerade, die zu parallel ist und durch den Punkt geht.“
„Parallel“ bedeutet dabei, dass die Geraden in einer Ebene liegen, aber keinen gemeinsamen Punkt haben.
Diese eindeutig bestimmte Gerade heißt die Parallele zu durch den Punkt .
In den Elementen des Euklid findet sich dieser Satz als das fünfte Postulat (Parallelenpostulat) in folgender Formulierung: „Gefordert soll sein: … dass, wenn eine gerade Linie [] beim Schnitt mit zwei geraden Linien [ und ] bewirkt, dass innen auf derselben Seite entstehende Winkel [ und ] zusammen kleiner als zwei Rechte werden, dann die zwei geraden Linien [ und ] bei Verlängerung ins Unendliche sich treffen auf der Seite [von ], auf der die Winkel [ und ] liegen, die zusammen kleiner als zwei Rechte sind.“
Dies besagt in moderner Formulierung, dass es zu jeder Geraden und jedem Punkt nicht mehr als eine Parallele zu durch geben kann. Dass es mindestens eine solche Parallele gibt, lässt sich aber aus den übrigen Postulaten und Axiomen des Euklid beweisen, sodass die eingangs angegebene Formulierung gerechtfertigt ist.
Die Benennung des Parallelenpostulats schwankt in der Literatur. Häufig wird es das Fünfte Postulat von Euklid (Elemente, Buch 1) genannt, manchmal wurde es aber auch 11. Axiom oder 13. Axiom genannt.[1]