Aksiyom ne demek? Doğru olduğu herkes tarafından kabul edilen, kendiliğinden apaçık olan ve bu nedenle diğer önermelerin temeli ve ön dayanağı olan önerme. Bu önermeye belit adı da verilir. Aksiyomlar, mantıki işlemler için yeni teorem ve ispatların elde edilmesinde kullanılırlar. Aksiyom, matematiğin ve diğer ilimlerin bütün dallarında mevcuttur. Örneğin, "Bir eşitliğe eşit şeyler eklenince veya çıkarılınca eşitlik bozulmaz." ifadesi cebirde çok bilinen bir aksiyomdur. "Bir bütün, parçalarından büyüktür." ifadesi de bir aksiyomdur.