Aksiom: Razlika med redakcijama

'''Aksióm''' ([[stara grščina{{jezik-grc|starogrško]] ἀξίωμα}}: axíoma) označuje stališče, [[načelo]], [[teza|tezo]], sodbo, ki se jo sprejemamosprejema brez [[dokaz]]ov in služi kot načelo ali [[premisa]] [[dedukcija|deduktivnega]] dokazovanja. Po tradicionalnem razumevanju, ki izhaja od [[Aristotel|Aristotla]], aksiomi ne potrebujejo dokazov, saj je njihova resničnost neposredno razvidna. Po [[Immanuel Kant|Kantovem]] razumevanju so aksiomi neposredno odvisni od sintetičnih načel ''a priori''. Aksiom je mogoče opredeliti še kot [[enačba|enačbo]], [[formula|formulo]], ki je del [[aksiomatični sistem|aksiomatičnega sistema]] in torej ne izhaja iz kakšne druge enačbe v tem sistemu.

[[Beseda]] aksiom prihaja iz [[glagol]]a ἀξιόειν: 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 uporabljamorabi v taki meri, kot ga je [[Evklid]], ki ga je uvedel. Če se ga uporabljamorabi, mislimose misli v bistvu na aksiom.

Aksiom v [[matematika|matematiki]] pa je očitna (temeljna) [[trditev]] ali načelo kakor [[izrek]], ki se je ne [[matematični dokaz|dokazujemodokazuje]]. PrimeraZgleda aksiomov:

Veliko aksiomomaksiomov pravimose v bistvu imenuje izreki.

[[Kategorija:Aksiomi|* ]]