Collected Works: Correspondance A-G. vol. 4, Band 3

argument arithmetic assertion axiom of choice axioms and rules Beweis beweisbar Carnap concepts consistency proof constructible sets continuum hypothesis contradiction defined definition diophantine elements empirical equation Euclidean existence expression fact finitary finite number finitist follows footnote formal system formula Gentzen gibt given Gödel Gödel's ontological proof Hilbert Husserl induction integers interpretation introductory note intuitionistic logic Kant Kant's konstruierbaren Kurt Gödel lecture Leibniz Lemma manuscript mathe Mathematik means Menge Mengen Nachlass natural numbers negation notion number theory objects obtained ordinal numbers philosophy physical possible problem procedure propositional function provable proved quantifiers question R-worlds real numbers refer relation relativity theory result rotating rules of inference satisfied Satz sense sentence sequence set theory shorthand space subset symbols syntactical syntax tautology theorem things tion transfinite transfinite induction translation true truth undecidable variables w₁ world lines Zahlen