„Axióma” változatai közötti eltérés

* Néha azonban a '''posztulátum''' kifejezés helyett is axiómát mondanak, bár ez igazából nem szerencsés;

* A [[formalizmus|formalista]] matematikusok és [[matematikafilozófia|-filozófusok]] szerint az axióma olyan, [[formális nyelv]]en felírt állítást jelent, melyből egy elmélet valamennyi eredménye levezethető, és ez esetben teljesen lényegtelen, hogy az axiómákat támogatja-e a tapasztalat, az intuíció vagy bármilyen más "kognitív" megerősítés. A [[matematikai struktúra|matematikai struktúrákat]] (legismertebbek e körben talán az absztrakt algebrai axiómarendszerek, pl. csoportaxiómák) megalapozó axiómarendszerek mind ebbe a körbe tartoznak, szerepük „pusztán” arra korlátozódik, hogy az illető fogalmak ún. [[definíció|kontextuális definícióját]] adják.

 

Az '''axiómarendszer''' axiómák csoportja, mely egy elmélet logikai felépítésénél használatos.