Mantıkta, kendiliğinden apaçık olduğu ya da içeriği nedeniyle doğru vargılar elde etmeyi sağladığı için doğruluğu genel kabul gören önermelere denir. Aksiyomlar, matematik sistemlerinin üzerine kurulduğu temel önermelerdir. Sistemdeki öteki bütün önermeler ve teoremler aksiyomlara dayanılarak ispatlanır.