next up previous contents
Next: Teoreem (theorem) Up: No Title Previous: Teooria (theory)

Teooria täielikkus (completeness of theory)

- Formaalne teooria T on mudelil tex2html_wrap_inline455 täielik, kui ta on ekvivalentne teooriaga tex2html_wrap_inline569 .



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