Advertisement

Der Gödelsche Vollständigkeitssatz

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

Zusammenfassung

Definition(Der Hilbertkalkül)

L sei eine Sprache. Eine L-Formel ist beweisbar, wenn sie Wir schreiben:
$$\displaystyle\vdash_{L}\varphi$$

Copyright information

© Springer International Publishing Switzerland 2017

Authors and Affiliations

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

Personalised recommendations