Aksiyomlar, bir bilim veya mantık sisteminin temelini oluşturan, kendiliğinden doğru kabul edilen ve diğer önermelerin ispatlanmasında kullanılan öncüllerdir. Aksiyomların doğruluğu deney veya mantıksal çıkarımla gösterilemez; bunlar, sistemin tutarlılığını sağlamak için varsayılırlar.
Matematik ve mantık gibi alanlarda aksiyomlar hayati bir rol oynar. Örneğin, Öklid geometrisinin beş temel postulatı (aksiyomu), bu geometrinin tüm teoremlerinin üzerine inşa edildiği temel taşlardır. Aynı şekilde, küme teorisi ve diğer matematiksel sistemlerin de kendi aksiyom kümeleri bulunur.
Aksiyomlar, doğru oldukları kabul edildiği için tartışılmaz olarak görülürler ve üzerine kurulu oldukları sistemin geçerliliği için kritik öneme sahiptirler. Ancak, farklı aksiyom kümeleri farklı mantıksal veya matematiksel sistemlere yol açabilir. Örneğin, Öklid'in paralel postulatının farklı şekillerde ele alınması, Öklid dışı geometrilerin ortaya çıkmasına neden olmuştur.
