matematik ve mantıkta temel bir doğruluk kabul edilen, ispatlanmadan doğru kabul edilen önermedir. Aksiyomlar, bir teori veya sistemin temelini oluşturur ve diğer teoremler bu aksiyomlardan türetilir. Aksiyomlar genellikle çok açık ve kabul gören prensiplerdir, bu nedenle matematiksel ve mantıksal sistemlerde temel bir yapı taşını temsil ederler. Örneğin, Euclid’in geometri sistemindeki aksiyomlar, geometri teorisinin temelini atar.