axiómák
Axiómák (singulár: axióma) olyan állítások, amelyeket egy formális rendszer kiindulópontként fogad el, és amelyeket bizonyítás nélkül elfogadunk. Az axiómák meghatározzák a rendszer nyelvének és logikájának alapjait, és megmondják, mely állítások vezethetők le tételként a megadott szabályokkal.
Az axiómák és a szabályok együtt alkotják a teóriát: az axiómák adnak kiindulási pontot, a bizonyítási szabályokkal
Jelentős axiómarendszerek közé tartoznak a Peano-axiómák a természetes számokra, a Zermelo–Fraenkel halmazelmélet axiómái (általában ZFC), a
Fontos tulajdonságok közé tartozik a függetlenség, a konzisztencia és a teljesség kérdése. A konzisztencia azt jelenti,
Történetileg az axiómák módszere a görög geometria és a formális logika fejlődéséből nőtt ki, és a 20.