Elméletek teljessége
Lemma:
Legyen T egy elmélet.
Ekkor a következők ekvivalensek:
- minden f zárt formulára vagy T |= f vagy T |= ~f,
- nincs T-től független zárt formula,
- T bármely két modellje elemien ekvivalens.
Definíció:
T teljes, ha a fenti tulajdonságok egyikével/mindegyikével
rendelkezik.