Aksiyom, diğer önermelerin temeli ve ön dayanağı niteliğindeki, kanıtlanmayı gerektirmeyen ve kendiliğinden apaçık olan önermelerdir. Aksiyomlar, matematiksel ve felsefi sistemlerde önemli bir rol oynar: Matematikte, aksiyomlar, sayılabilen özelliğe sahip nicelikler arasındaki orantıları ifade eder. Felsefede, aksiyomlar, düşünsel yapıları yönlendirir ve felsefi argümanların temelini oluşturur. Bazı aksiyom örnekleri: "Her bütün, kendini meydana getiren parçalardan büyüktür". "İki farklı noktadan tek bir doğru geçer". "Doğal sayının ardışığı doğal sayıdır".