Generalized Von Neumann Universe and Non-Well-Founded Sets
Zhang, Eugene · arXiv (Cornell University) · 2023
In this paper, a generalized version of the von Neumann universe known as the total universe is proposed to formally introduce non-well-founded sets that include infinitons, semi-infinitons and quasi-infinitons in Russell's paradox. All three infinitons are part of infinitely generated sets that are generators of non-well-founded sets. Combining the well-founded sets with the non-well-founded sets, the total universe is a model of ZF minus the axiom of regularity and free of Russell's paradox. The axiom of regularity can not define the well-founded sets and is invalid in any system consistent with ZF set theory.