Mi az Axiomatic:
Magától értetődő Valami nyilvánvaló, kétségtelen, vitathatatlan, tagadhatatlan, cáfolhatatlan, cáfolhatatlan, biztos, bizonyított, egyértelmű, ez az axiómákhoz képest valami, ami nem hamis vagy kétséges. Az axiomatikának jelentése van a különféle tudományokban, mint például a logika, a matematika, a mérnöki tudomány, mindegyikben az axiómákkal kapcsolatos elméletek vannak.
A logikában ott van a axiomatikus rendszer, amely a deduktív elmélet egy olyan formája, amely a definíciós szabályok által kidolgozott kezdeti feltételekből épül fel. A matematikában létezik axiomatikus rendszer is, amely olyan axiómák összessége, amelyek felhasználhatók a tételek logikai levezetésére, dedukciók útján.
Hasonlóképpen, az axiomatikus rendszer formálisan vagy informálisan kifejezheti axiómáit. Amikor minden axióma, formális nyelvet használva, egy véges jellánc ebben az ábécében, és ez a szekvencia egy jól formázott képlet, amely a kombinatorikus szabályokat követi, akkor formális axiomatizáció. Ha egyértelmû definíciókat használnak formalizált természetes nyelvvel, akkor az ún informális axiomatizáció. a matematikáról és más formális tudományágakról szóló könyvek általában így írják az axiómákat.
A logika szerint az axiomatikus az, amikor az axióma, más néven posztulátum, olyan mondat, amelyet nem bizonyítottak vagy bizonyítottak, és ennek ellenére nyilvánvalónak tekintik, konszenzus az, hogy képesek vagyunk elfogadni egy elméletet.
