Next: Term (term)
Up: No Title
Previous: Teooria täielikkus (completeness of
-
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