Aksiom je univerzalna istina koja zbog svojih dokaza ne treba dokaze. Obično je osnova bilo koje vrste teorije ili teorema.
Aksiom je prvi kamen u izgradnji teorije. Tamo počinje, pa mora biti neporecivo. Ako je propis na kojem temeljimo daljnji razvoj pogrešan, pogrešan će biti i sadržaj.
Na primjer, za dizajn bilo kojeg letećeg stroja, prvi je aksiom da gravitacija postoji i protiv nje se moramo boriti ako želimo da nešto leti. To je toliko očito da ne treba dokaze, sva će istraživanja to uzimati zdravo za gotovo.
Značenje aksioma u matematici
U disciplinama poput matematike aksiom predstavlja prvi korak, a ostatak razvoja teorema ili formule vrši se deduktivno od prvog aksioma. Tako se uspostavljaju takozvani aksiomatski sustavi, koji su ponovljeni skup aksioma koji daju suštinu matematičkom iskazu.
Prvi priznati i relevantan aksiomatski sustav razvio je Euklid oko 3. stoljeća pr. Utvrđujući njegove teoreme o geometriji, aksiome koji su se održavali do devetnaestog stoljeća.
Razlika između aksioma i dogme
Unatoč činjenici da se čine vrlo sličnim konceptima i da ih se čak može zbuniti, razlika je više u njihovoj uporabi nego u njihovom značenju, budući da su oba koncepta definirana kao neupitne istine.
Dogma bi bila neporeciva premisa nekog područja ili područja i često se češće koristi u religijskom aspektu.
Umjesto toga, aksiom se koristi više u poljima kao što su matematika, fizika ili logika. I to je obično prva karika u dokazivanju teorije ili postignuća matematičkih formula, takozvanih aksiomatskih sustava. I, poput dogme, pretpostavlja se i njezina istinitost bez potrebe za dokazima.