Equivalences of Inconsistency and Henkin Models 1

  • Patrick Braselmann
  • Published 2007


This article is part of a series of Mizar articles which constitute a formal proof (of a basic version) of Kurt Gödel’s famous completeness theorem (K. Gödel, “Die Vollständigkeit der Axiome des logischen Funktionenkalküls”, Monatshefte für Mathematik und Physik 37 (1930), 349–360). The completeness theorem provides the theoretical basis for a uniform… (More)


  • Presentations referencing similar topics