Abstract
In mathematics, dealing with infinite number systems and other infinite sets brings a fundamental problem with it. For example consider the two statements:
-
I.
Every even number greater than 2 can be represented as the sum of two primes.
-
II.
There is an even number which is greater than 2 but cannot be represented as the sum of two primes.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schütte, K. (1977). Introduction. In: Proof Theory. Grundlehren der mathematischen Wissenschaften, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66473-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-66473-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-66475-5
Online ISBN: 978-3-642-66473-1
eBook Packages: Springer Book Archive