AbstractIntuitive Set Theory (IST) is defined as the theory we get, when we add Axiom of Monotonicity and Axiom of Fusion to Zermelo-Fraenkel set theory. In IST, Continuum Hypothesis is a theorem, Axiom of Choice is a theorem, Skolem paradox does not appear, nonLebesgue measurable sets are not possible, and the unit interval splits into a set of infinitesimals.
Similar books and articles
An axiom schema of comprehension of zermelo–fraenkel–skolem set theory.Johannes Heidema - 1990 - History and Philosophy of Logic 11 (1):59-65.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
V = L and intuitive plausibility in set theory. A case study.Tatiana Arrigoni - 2011 - Bulletin of Symbolic Logic 17 (3):337-360.
A linear conservative extension of zermelo-Fraenkel set theory.Masaru Shirahata - 1996 - Studia Logica 56 (3):361 - 392.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Finite mathematics and the justification of the axiom of choicet.Pierluigi Miraglia - 2000 - Philosophia Mathematica 8 (1):9-25.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Contributions to the Founding of the Theory of Transfinite Numbers.Cassius J. Keyser - 1916 - Journal of Philosophy, Psychology and Scientific Methods 13 (25):697-697.