Õiguse filosoofia loengukonspekt
1) aksioomid on ilmselged tõed (väga lihtsad ja iseenesestmõistetavad);
2) aksioomid ja teoreemid on omavahel deduktiivselt seotud peab olema määratletud
lubatavate tuletusreeglite hulk;
3) teoreemid on kooskõlas vaatlustega.
(Teoreemide tõestamiseks tuleb aksioomidele lisada defineerimatud algmõisted ehk
primitiivsed terminid [hulk hulgateoorias], nende kaudu defineeritavad mõisted ning
tuletusreeglid.)
Teadusfilosoofid on eriseisukohtadel 2) ja 3) suhtes, kuid on üksmeelsed 1) suhtes.
Eukleidese kümnest aksioomist mõned:
*. Kõik täisnurgad on võrdsed.
*. Mistahes kaks punkti asuvad sirgjoonel.
*. Tervik on suurem kui osa.
*. Kui võrdsetele lisatakse võrdsed, saadakse võrdsed.
5. paralleelide aksioom: väljaspool sirget asuvat punkti saab läbida ainult üks sirge, mis
selle sirgega ei lõiku.
*
annaabi.ee 
