Doğruluğu sezgi yoluyla kabul edilen, ancak kanıtlanamayan önerme. Örneğin iki ayrı nokta arasındaki en kısa uzaklık bir doğrudur önermesi bir aksiyomdur. Matematikte çokça başvurulan birkaç aksiyom şunlardır: Her çokluk kendine eşittir, a, b, c gibi üç çoklukta a=b ve b=c ise, a=c dir, herhangi üç noktadan en az bir düzlem geçer, kesişen iki düzlemin arakesiti bir doğrudur, uzayın düzlemsel olmayan en az dört noktası vardır.
