Collected works

Ackermann arithmetic Ausdruck Aussagenkalküls axiom of choice axiom system axiomatic set theory Axiomen Begriffe beliebige Bernays Beweis beweisbar consistency proofs continuum hypothesis daher decision problem defined definition denumerable domain Einsetzung elements endlich enthält Entscheidungsproblem entweder equivalent erfüllbar ergibt expression ferner finitary finite folgende folgenden folgt formal system formula free variable functional variables Fundamenta mathematicae Funktionen gibt gilt Gödel number Heijenoort 1967 hence Herbrand Hilbert Hilfssatz holds ibid incompleteness introductory note intuitionistic Jean van Heijenoort journal of symbolic Klasse Kleene Kurt Gödel Lemma Logik logischen Mathematik Menger metamathematical natural numbers natürliche Zahlen negation Neumann notion number theory predicate primitive recursive Principia mathematica problem propositional calculus provable proved recursive functions refutable relation reprinted rules of inference satisfiable Satz Sätze sequence set theory Skolem soll symbolic logic Tarski theorem tion transfinite translation undecidable propositions universal quantifiers Variablen w-consistent widerlegbar wobei Zahl Zeichen zwei