Aksióm (starogrško ἀξίωμα: axíoma − trditev, teza) označuje stališče, načelo, tezo, sodbo, ki se jo sprejema brez dokazov in služi kot načelo ali premisa deduktivnega dokazovanja. Po tradicionalnem razumevanju, ki izhaja od Aristotla, aksiomi ne potrebujejo dokazov, saj je njihova resničnost neposredno razvidna. Po Kantovem razumevanju so aksiomi neposredno odvisni od sintetičnih načel a priori. Aksiom je mogoče opredeliti še kot enačbo, formulo, ki je del aksiomatičnega sistema in torej ne izhaja iz kakšne druge enačbe v tem sistemu.
V epistemologiji je aksiom samoumevna resnica, na kateri mora temeljiti preostalo znanje. Epistemologi si niso enotni ali sploh obstaja kakšen aksiom v tem smislu.
Beseda aksiom prihaja iz glagola ἀξιόειν: axióein, kar pomeni primerno soditi in tudi zahtevati, kar po vrsti pride iz ἄξιος: axios - primeren. Drug izraz za aksiom je postulat (oziroma predpostavka), ki se ga ne rabi v taki meri, kot ga je Evklid, ki ga je uvedel. Če se ga rabi, se misli v bistvu na aksiom.
Aksiom v matematiki pa je očitna (temeljna) trditev ali načelo kakor izrek, ki se je ne dokazuje. Zgledi aksiomov:
- aksiom asociativnosti vsote (a + b) + c = a + (b + c),
- aksiom komutativnosti vsote a + b = b + a.
- aksiom izbire
- aksiomi Kolmogorova
- Arhimedov aksiom
- Peanovi aksiomi
Veliko aksiomov se v bistvu imenuje izreki.
Stari Grki
Logično-deduktivno metodo sklepanj, ki sledijo iz premis z uporabo veljavnih argumentov (silogizmov, pravil sklepanj), so razvili stari Grki in je postala temelj sodobne matematike.
- seznam aksiomov
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
