Next: Teooria täielikkus (completeness of
Up: No Title
Previous: Temporaalloogika (temporal logic)
- valemite hulk 
, mille elemendid väljendavad etteantud interpretatsiooni korral kõiki süsteemi 
tõeseid väiteid ja ainult neid.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996