Postulats dels Elements d'Euclides

P1. Es pot traçar una recta des de qualsevol punt a qualsevol altre.

P2. Es pot prolongar en línia recta una recta delimitada.

P3. Per cada centre i radi es pot traçar un cercle.

P4. Tots els angles rectes són iguals entre sí.

P5. Si una recta incident sobre dues rectes fa angles interns i del mateix costat més petits que dos rectes, llavors les dues rectes indefinidament prolongades es trobaran en aquest mateix costat.