aksiom

Aksiom er i logik og matematik en grundsætning, der uden bevis antages at være sand. Derved tjener aksiomer som udgangspunkt for bevis af andre sætninger.

Euklids geometri er aksiomatisk opbygget. Man opfattede længe aksiomer som selvindlysende sandheder, men denne opfattelse måtte opgives i 1800-tallet med opdagelsen af ikke-euklidisk geometri, hvor Euklids femte aksiom ikke gælder.

Det er stadig et omdiskuteret spørgsmål, i hvilken forstand aksiomer kan siges at være sande.

To kendte aksiomsystemer er Peanos aksiomsystem og Zermelo-Fraenkels aksiomer.