AKSİYOM doğruluğu sezgi yoluyla kabul edilen ancak kanıtlanamayısan ö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 olmayısan en az dört noktası vardır.