Sei . Dann sind folgende Beziehungen aequivalent:

Next: (Vollstaendigkeitssatz v. Goedel) Fuer Up: Vollstaendigkeitssatz Previous: Vollstaendigkeitssatz

Sei $X\subseteq Fm(PK)\protect$ . Dann sind folgende Beziehungen aequivalent:

1. $X\vdash A$ , gdw. $X\models A$
2. $Mod(X)\neq \emptyset$ genau dann, wenn X syntaktisch konstistent ist (syntaktisch konsistent: $X^{\vdash }\neq FM$ , d.h. ich kann nicht A und $\neg A$ ableiten)

Lee Chuck 2001-05-01