Aksioma yra universali tiesa, kuriai dėl įrodymų nereikia įrodymų. Paprastai tai yra bet kokios rūšies teorijos ar teoremos pagrindas.
Aksioma yra pirmasis teorijos akmuo. Ji yra ten, kur ji prasideda, todėl ji turi būti neginčijama. Jei priesakas, kuriuo grindžiame tolesnę plėtrą, yra neteisingas, bus ir turinys.
Pavyzdžiui, kuriant bet kokią skraidančią mašiną, pirmoji aksioma yra ta, kad gravitacija egzistuoja ir mes turime kovoti su ja, jei norime, kad kažkas skristų. Tai yra taip akivaizdu, kad nereikia jokių įrodymų, visi tyrimai tai priims kaip savaime suprantamą dalyką.
Aksiomos reikšmė matematikoje
Tokiose disciplinose, kaip matematika, aksioma yra pirmasis žingsnis, o likusi teoremos ar formulės plėtra atliekama dedukciškai nuo pirmosios aksiomos. Taigi sukuriamos vadinamosios aksiomatinės sistemos, kurios yra pakartotinis aksiomų rinkinys, suteikiantis matematiniam teiginiui esmę.
Pirmąją pripažintą ir aktualią aksiomatinę sistemą Euklidas sukūrė maždaug III amžiuje prieš mūsų erą. Nustatydamas savo teorijas apie geometriją, aksiomas, kurios buvo išlaikytos iki XIX a.
Aksiomos ir dogmos skirtumas
Nepaisant to, kad jos atrodo labai panašios sąvokos ir jas netgi galima supainioti, skirtumas labiau slypi jų vartojime, o ne prasmėje, nes abi sąvokos apibrėžiamos kaip neabejotinos tiesos.
Dogma būtų nepaneigiama tam tikros srities ar srities prielaida ir dažnai naudojama dažniau religiniu aspektu.
Vietoj to, aksioma naudojama daugiau tokiose srityse kaip matematika, fizika ar logika. Dažniausiai tai yra pirmoji grandis teorijos ar matematinių formulių, vadinamųjų aksiomatinių sistemų, pasiekimo įrodyme. Kaip ir dogma, jos teisingumas taip pat suponuojamas nereikalaujant įrodymų.