1. Proving Theorems from Reflection
- Author
-
Philip D. Welch, Centron, S., Sarikaya, D., and Kant, D.
- Subjects
Mathematics::Logic ,Reflection (computer programming) ,Computer science ,Calculus ,Set theory ,Resolution (logic) ,Continuum hypothesis ,Real line ,Axiom - Abstract
We review some fundamental questions concerning the real line of mathematical analysis, which, like the Continuum Hypothesis, are also independent of the axioms of set theory, but are of a less ‘problematic’ nature, as they can be solved by adopting the right axiomatic framework. We contend that any foundations for mathematics should be able to simply formulate such questions as well as to raise at least the theoretical hope for their resolution.The usual procedure in set theory (as a foundation) is to add so-called strong axioms of in nity to the standard axioms of Zermelo-Fraenkel, but then the question of their justi cation becomes to some people vexing. We show how the adoption of a view of the universe of sets with classes, together with certain kinds of Global Reflection Principles resolves some of these issues.
- Published
- 2019
- Full Text
- View/download PDF