AKSİYOM

Doğru olduğu herkes tarafından kabul edilen önerme. Postulat, doğruluğu mantıki olarak kabul edildiği halde, doğruluğu da yanlışlığı da ispatlanamayan önermedir. Aksiyomlar, mantıki işlemler için yeni teorem ve ispatların elde edilmesinde kullanılırlar. Ancak postulatların aksiyomlardan ayrılması kesin değildir. Aksiyom, matematiğin ve diğer ilimlerin bütün dallarında mevcuttur. Mesela cebirde çok bilinen bir aksiyom: “Bir eşitliğe eşit şeyler eklenince veya çıkarılınca eşitlik bozulmaz.” ifadesidir. Her ilimde kullanılan “Bir bütün, parçalarından büyüktür.” ifadesi de bir aksiyomdur.