next up previous contents
Next: Algebra (algebra) Up: No Title Previous: Aksiomatiseeritav teooria (axiomatic theory)

Aksioom (axiom)

- ( kr.k. omaksvõetud lause) formaalse teooria valem, mis võetakse lähtekohaks, mida antud teooria raames ei tõestada ja millest (koos teooria teiste aksioomidega) tuletatakse varem kokkulepitud järeldamisreeglite järgi kõik teooria ülejäänud valemid.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996