Axióma

axióma

- základná veta systému, 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ší 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 ( L53;37).