Što je Axiomatic:
Aksiomatski je nesto evidentno, neupitna, neosporivo, nepobitno, nepobitno, nepobitno, sigurno, dokazano, jasno, to je nešto u odnosu na aksiome, što nije lažno ili sumnjivo. Aksiomatika ima značenje u raznim znanostima, kao što su logika, matematika, inženjerstvo, a sve one imaju teorije o aksiomima.
U logici postoji aksiomatski sustav, koji je oblik deduktivne teorije, izgrađen iz početnih uvjeta koji su razvijeni pravilima definicije. U matematici također postoji aksiomatski sustav, koji je skup aksioma koji se pomoću dedukcija mogu koristiti za logičko izvođenje teorema.
Isto tako, aksiomatski sustav može izraziti svoje aksiome formalno ili neformalno. Kad je svaki aksiom, koristeći formalni jezik, konačni lanac znakova u ovoj abecedi, a taj je slijed dobro oblikovana formula koja slijedi kombinacijska pravila, naziva se formalna aksiomatizacija. Kad se jednoznačne definicije koriste s formaliziranim prirodnim jezikom, to se naziva neformalna aksiomatizacija. knjige iz matematike i drugih formalnih disciplina obično na taj način pišu aksiome.
U logici je aksiomatičnost kada je aksiom, koji se naziva i postulatom, rečenica koja nije dokazana ili dokazana, i unatoč tome smatra se očitom, konsenzus je da se može prihvatiti teorija.
