next up previous contents
Next: Term (term) Up: No Title Previous: Teooria täielikkus (completeness of

Teoreem (theorem)

- tuletuse viimane valem, tuletuspuu juur; lause, mille õigsus tõestatakse arutluse kaudu, tuginedes aksioomidele ja varem tõestatud teoreemidele.



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