A kiindulópontként elfogadott állítás és a már bizonyított eredmény szerepét kell elkülöníteni.
Egy elmélet alaptétele
Egy formális elméletben kiindulópontként elfogadott állítás, amelyet az adott rendszerben külön bizonyítás nélkül lehet felhasználni. A további tételeket az axiómákból és a megengedett következtetési szabályokkal vezetik le.
Szerkesztett példamondatok
A szerző a bizonyítás előtt felsorolta a használt axiómákat.
Az egyik axióma megváltoztatásával más tulajdonságú geometriai rendszerhez jutottunk.
Sok szakterületen az axiómával azonos szerepű, a hagyományos szóhasználat eltérhet.
Használati megjegyzés: Az axióma státusza az adott rendszerhez kötődik. Az elnevezés önmagában sem magától értetődőséget, sem tapasztalati bizonyítást nem garantál.
Magától értetődőnek kezelt állítás
Átvitt értelemben olyan alapelv vagy kijelentés, amelyet egy közösség további vita nélkül igaznak tekint.
Szerkesztett példamondatok
A csapatnál axióma volt, hogy a megrendelő minden érdemi változásról értesítést kap.
A megbeszélésen végül azt az axiómát is megkérdőjelezték, hogy minden feladathoz személyes jelenlét kell.
A példamondatok szerkesztett nyelvi példák. A hivatkozások a jelentésekhez tartoznak; a mondatok nem forrásidézetek.
Figyelj a szövegkörnyezetre.A felsorolt kifejezések jelentése közel állhat egymáshoz, de egy mondatban nem minden esetben cserélhetők fel változtatás nélkül.