aksiom

Aksiom, 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.

Kommentarer

Din kommentar publiceres her. Redaktionen svarer, når den kan.

Du skal være logget ind for at kommentere.

eller registrer dig