Axióma
From Wikipedia, the free encyclopedia
Axióma[1] (slovo je žen. rodu; nesprávne: axióm[2], zastarano: axiom[3][4]) alebo postulát je základná veta systému teórií, z ktorej sa pomocou pravidla odlúčenia dokazujú ostatné vety či teorémy daného systému. Pojmy zavedené v axiómach sa nazývajú základné alebo primitívne pojmy. O takto zavedených pojmoch sa hovorí, že sú definované implicitne. Všetky ďalšie pojmy sa definujú explicitne pomocou axióm a základných pojmov. Dedukcia výrokov je prípustná len pomocou pravidiel logiky.
Súčasné chápanie axiomatickej metódy nevyžaduje apriórnu zrejmosť axióm. Otázka pravdivosti axióm sa rieši v rámci iných vedeckých teórií, alebo pri nachádzaní interpretácií daného systému: realizácia určitého formalizovaného axiomatického systému v istej predmetnej oblasti svedčí o pravdivosti v ňom prijatých axióm.