Aksiom: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m m/dp/slog |
m m+/dp |
||
Vrstica 5:
[[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 rabi v taki meri, kot ga je [[Evklid]], ki ga je uvedel. Če se ga rabi, se 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|dokazuje]].
* aksiom [[asociativnost]]i [[vsota|vsote]] (''a'' + ''b'') + ''c'' = a + (''b'' + ''c''),
* aksiom [[komutativnost]]i vsote ''a'' + ''b'' = ''b'' + ''a''.
* [[aksiom izbire]]
* [[aksiomi Kolmogorova]]
* [[Arhimedov aksiom]]
* [[Peanovi aksiomi]]
Veliko aksiomov se v bistvu imenuje izreki.
Vrstica 14 ⟶ 18:
=== Stari Grki ===
[[logika|Logično]]
== Glej tudi ==
| |||