Advertisement

Der Zweite Gödelsche Unvollständigkeitssatz

  • Martin Ziegler
Chapter
Part of the Mathematik Kompakt book series (MAKO, volume 0)

Zusammenfassung

Wir beginnen mit einer allgemeinen Beobachtung. Wir sagen, daß eine Formel
$$ \phi = \phi (\bar x) $$
logisch aus T folgt, wenn
$$ \forall \bar x\phi $$
in allen Modellen von T gilt (vergleiche die Definition auf Seite 23.)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser / Springer Basel AG 2010

Authors and Affiliations

  • Martin Ziegler
    • 1
  1. 1.Mathematisches InstitutUniversität FreiburgFreiburgDeutschland

Personalised recommendations