Next: Sei . Dann sind Up: Vortrag Goedelscher Unvollstaendigkeitssatz Previous: Einleitung

Vollstaendigkeitssatz

Subsections

Sei $X\subseteq Fm(PK)\protect$ . Dann sind folgende Beziehungen aequivalent:
(Vollstaendigkeitssatz v. Goedel) Fuer jede Menge X von Formeln, $A\epsilon Fm(PK)\protect$ gilt:
- Beweis (2)
Beispiel Peano Arithmetik
- Beschreibung der Wissensbasis (des abstrakten Modells) fuer natuerliche Zahlen

Lee Chuck 2001-05-01