TL;DR
This paper explores a version of the nested-set theorem and uncovers a contradiction that challenges the consistency of the actual infinity assumption in set theory.
Contribution
It introduces a denumerable version of the nested-set theorem and demonstrates a contradiction affecting the Axiom of Infinity's consistency.
Findings
Identifies a contradiction in the formal consistency of actual infinity.
Challenges assumptions underlying the Axiom of Infinity.
Abstract
This paper examines a denumerable version of the nested-set theorem and derives from it a contradiction involving the formal consistency of the actual infinity assumed by the Axiom of Infinity.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies