Eukleides ja tema aksioomid
Selle 13nest raamatustt I VI on pühendatud planimeetriale, VII IX aritmeetikale, X
ühismõõdututele suurustele, XI XIII stereomeetriale. Eukleidese poolt kasutatud teoreemide
tõestamisviis on püsinud tänaseni. Iga tõestus algab eelduse ja väite esitamisega. Seejärel antakse
tõestus koos viitamisega neile varem tõestatud lausetele või aksioomidele, millele rajaneb väite
õigeks tunnistamine. Iga tõestus lõpeb sõnadega mida oligi tarvis tõestada. Eukleidesel oli võetud
laused, mis oli aluseks ja millele rajanes kogu tema suurteos. Põhilaused jagas Eukleides kolme
kategooriasse: definitsioonid, aksioomid ja postulaadid.
Postulaadid.
Nõutakse:
1. ...et igast punktist iga punktini võib tõmmata sirge.
2. ...et igat piiratud sirget võiks piiramatult jätkata.
3. ...et iga punkti ümber võiks igal kaugusel tõmmata ringjoone.
4. ...et kõik täisnurgad oleksid üksteisega võrdsed.
5. ..