Abstract
Proof trees are defined, and the system of natural deduction is introduced. Several examples of deductions are given. The completeness theorem (Henkin-style) is proved. Skolem theories and conservative extensions are treated.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Dawson, J.W.: Logical Dilemmas – The Life and Work of Kurt Gödel. Peters, Wellesley (1997)
Gentzen, G.: Untersuchungen über das logische Schließen. Mathematische Zeitschrift 39, 176–210 (1934)
Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik 37, 349–360 (1930)
Henkin, L.: The completeness of the first-order functional calculus. J. Symb. Log. 14, 159–166 (1949)
Menzler–Trott, E.: Logic’s Lost Genius: The Life of Gerhard Gentzen. History of Mathematics, vol. 33. American Mathematical Society and London Mathematical Society, Providence (2007)
Wang, H.: Reflections on Kurt Gödel. MIT Press, Cambridge (1987)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Moerdijk, I., van Oosten, J. (2018). Proofs. In: Sets, Models and Proofs. Springer Undergraduate Mathematics Series. Springer, Cham. https://doi.org/10.1007/978-3-319-92414-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-92414-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-92413-7
Online ISBN: 978-3-319-92414-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)