pith. sign in

arxiv: 2304.00581 · v3 · submitted 2023-04-02 · 🧮 math.LO

Generalized Von Neumann Universe and Non-Well-Founded Sets

Eugene Zhang This is my paper

Pith reviewed 2026-05-24 09:15 UTC · model grok-4.3

classification 🧮 math.LO
keywords non-well-founded setsvon Neumann universeaxiom of regularityRussell's paradoxZF set theoryinfinitonstotal universecumulative hierarchy
0
0 comments X

The pith

The total universe models ZF minus regularity by adding non-well-founded sets generated by infinitons and avoids Russell's paradox.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proposes a generalized von Neumann universe called the total universe that incorporates non-well-founded sets alongside standard well-founded ones. These non-well-founded sets arise from infinitely generated sets built using infinitons, semi-infinitons, and quasi-infinitons. The resulting structure satisfies every ZF axiom except regularity and contains no instance of Russell's paradox. The author further claims that regularity cannot define the well-founded sets and is invalid inside any theory consistent with the rest of ZF.

Core claim

The total universe, formed by combining the well-founded sets with non-well-founded sets that include infinitons, semi-infinitons and quasi-infinitons, 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.

What carries the argument

The total universe, a generalized von Neumann universe that unites well-founded sets with non-well-founded sets generated by infinitons, semi-infinitons and quasi-infinitons.

If this is right

  • ZF without regularity admits a model containing non-well-founded sets.
  • Russell's paradox can be evaded while dropping regularity.
  • The cumulative hierarchy can be extended to allow infinite descending chains of membership.
  • Regularity is not required to maintain consistency with the remaining ZF axioms.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The construction suggests that other non-well-founded set theories could be embedded inside a single cumulative hierarchy without additional axioms.
  • One could check whether the same infiniton generators produce new inconsistencies when combined with choice or replacement.
  • The claim that regularity is invalid in any ZF-consistent system invites direct comparison with known models of ZF minus regularity such as those built from hypersets.
  • Further work might test whether the total universe satisfies any weakened form of regularity that still blocks Russell's paradox.

Load-bearing premise

That the infinitons, semi-infinitons and quasi-infinitons can be added to the cumulative hierarchy while preserving all ZF axioms except regularity and without introducing new inconsistencies.

What would settle it

An explicit construction of the total universe together with a consistency proof relative to ZF, or a derivation showing that one of the infinitons produces a contradiction with an axiom other than regularity.

Figures

Figures reproduced from arXiv: 2304.00581 by Eugene Zhang.

Figure 1
Figure 1. Figure 1: Diagrams of infinitons and a set of infinitons. [PITH_FULL_IMAGE:figures/full_fig_p022_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Diagram of a semi-infiniton. Corollary 3.29 Suppose Z is a semi-infiniton. (i) Z 6= ∅ (ii) Z 6= {Z} (iii) D(Z) = ℵ0 (iv) Z /∈ V Proof. (i) Since ∅ ∈/ ∅, Z 6= ∅. (ii) If Z = {Z}, Z is an infiniton, contradicting definition 3.26. (iii) If D(Z) < ℵ0, then by (1.2), D(Z) < D({Z}) = D(Z), contradiction. (iv) Since Z has an infinite branch, it is NWF. By lemma 1.2, Z /∈ V [PITH_FULL_IMAGE:figures/full_fig_p026… view at source ↗
Figure 3
Figure 3. Figure 3: Diagram of a quasi-infiniton. Corollary 3.37 (i) Q /∈ Q and Q 6= ∅. (ii) D(Q) = ℵ0 and Q /∈ V . Proof. (i) If Q ∈ Q, the length of Q is 1 and Q is a semi-infiniton. Also, no Q1 ∈ ∅. So ∅ ∈ Q1 and Q1 ∈ ∅ are impossible. (ii) By theorem 3.36(i) and (1.2), D(Q) = ℵ0. Since Q has an infinite branch, it is NWF. So Q /∈ V . Definition 3.38 S|Q = {{Gk, l}|Q : Gk ∈ S, 0 6 k 6 l, l > 1} is known as the set of the q… view at source ↗
Figure 4
Figure 4. Figure 4: Diagram of the total universe. Theorem 4.39 (i) N ∈ N/ (ii) N ∈/ T (iii) T /∈ T (iv) T /∈ N (v) There is no vicious cycle for N in T. (vi) T is free of Russell’s paradox [PITH_FULL_IMAGE:figures/full_fig_p043_4.png] view at source ↗
read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 0 minor

Summary. The paper proposes a generalized von Neumann universe called the total universe that incorporates non-well-founded sets via newly introduced entities (infinitons, semi-infinitons, and quasi-infinitons). It claims this structure models ZF minus the axiom of regularity, is free of Russell's paradox, and that regularity cannot define well-founded sets and is invalid in any ZF-consistent system.

Significance. If rigorously established with explicit constructions and consistency proofs, such a model would be significant for set theory by providing a unified framework for well-founded and non-well-founded sets while preserving most ZF axioms, potentially clarifying the role of regularity and offering new tools for paradox resolution.

major comments (3)
  1. [Abstract] Abstract: The assertion that 'the axiom of regularity ... is invalid in any system consistent with ZF set theory' is false on its face, as ZF itself includes regularity and is consistent relative to stronger theories; no derivation, model, or alternative consistency argument is supplied to support the claim.
  2. [Abstract] Abstract: No definitions, explicit constructions, or verification steps are given for infinitons, semi-infinitons, quasi-infinitons, or the total universe, so the claim that these entities can be added while modeling ZF minus regularity and avoiding inconsistency has no foundation.
  3. [Abstract] Abstract: The statement that the total universe 'is a model of ZF minus the axiom of regularity' is unsupported, as the paper supplies neither an inductive definition generalizing the cumulative hierarchy V_α nor a check that the ZF axioms (minus regularity) hold in the resulting structure.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the report and the opportunity to respond. We address each major comment below and indicate where revisions will be made.

read point-by-point responses

  1. Referee: The assertion that 'the axiom of regularity ... is invalid in any system consistent with ZF set theory' is false on its face, as ZF itself includes regularity and is consistent relative to stronger theories; no derivation, model, or alternative consistency argument is supplied to support the claim.

    Authors: We agree that the assertion is incorrect and unsupported. The manuscript does not establish that regularity is invalid in ZF-consistent systems. We will remove this claim from the abstract in the revised version. revision: yes

  2. Referee: No definitions, explicit constructions, or verification steps are given for infinitons, semi-infinitons, quasi-infinitons, or the total universe, so the claim that these entities can be added while modeling ZF minus regularity and avoiding inconsistency has no foundation.

    Authors: We agree that the submitted manuscript lacks explicit definitions, constructions, and verification steps for these entities. We will add detailed definitions and an explicit construction of the total universe in the revised manuscript. revision: yes

  3. Referee: The statement that the total universe 'is a model of ZF minus the axiom of regularity' is unsupported, as the paper supplies neither an inductive definition generalizing the cumulative hierarchy V_α nor a check that the ZF axioms (minus regularity) hold in the resulting structure.

    Authors: We agree that the manuscript does not supply an inductive definition generalizing V_α or a verification that the ZF axioms minus regularity hold. We will include such an inductive definition and axiom verification in the revised version. revision: yes

Circularity Check

0 steps flagged

No derivation chain or equations presented; claims are direct assertions without reduction to inputs.

full rationale

The provided abstract states the existence of a 'total universe' as a model of ZF minus regularity but supplies no equations, definitions, or step-by-step construction of infinitons/semi-infinitons/quasi-infinitons, nor any derivation showing consistency or how the model is obtained. No self-citations, fitted parameters, or ansatzes are quoted that could reduce the result to its own inputs by construction. Without a load-bearing derivation chain to inspect, none of the enumerated circularity patterns apply.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper relies on the standard ZF axioms minus regularity plus three newly postulated kinds of non-well-founded sets whose existence and consistency properties are not derived from prior literature or shown to be independent.

axioms (1)
  • standard math ZF axioms except regularity
    Invoked as the base theory the total universe is claimed to model.
invented entities (1)
  • infinitons, semi-infinitons, quasi-infinitons no independent evidence
    purpose: Non-well-founded sets that resolve Russell's paradox inside the total universe
    Newly introduced objects whose independent existence or consistency is not demonstrated.

pith-pipeline@v0.9.0 · 5612 in / 1445 out tokens · 27853 ms · 2026-05-24T09:15:12.500102+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Non-well-founded Sets

    Aczel, P. Non-well-founded Sets. CSLI, 1988

    work page 1988

  2. [2]

    A System of Axiomatic Set Theory – Part VI

    Bernays, P. “A System of Axiomatic Set Theory – Part VI”, The Journal of Symbolic Logic , 13(2): 65–79, 1948

    work page 1948

  3. [3]

    and Keisler, H.J

    Chang, C.C. and Keisler, H.J. Model Theory. Dover, New York, 2012

    work page 2012

  4. [4]

    Set Theory, The Third Millennium Edition, revised and expanded

    Jech, T. Set Theory, The Third Millennium Edition, revised and expanded. Springer-Verlag, Berlin, Heidelberg, New York, 2003

    work page 2003

  5. [5]

    Independence Proofs in Predicate Logic with Infinitely Long Expressions

    Karp, C. “Independence Proofs in Predicate Logic with Infinitely Long Expressions”, The Journal of Symbolic Logic , 27(2): 171–188, 1962

    work page 1962

  6. [6]

    Classical Descriptive Set Theory

    Kechris, A. Classical Descriptive Set Theory. Springer-Verlag, New York, 1995

    work page 1995

  7. [7]

    Finite approximations of infinitely long formulas

    Keisler, H.J. “Finite approximations of infinitely long formulas”, The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley , edited by Addison, Henkin, and Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, 158–169, 1965

    work page 1963

  8. [8]

    A study of the concept of rank in set theory

    Knoche, C. “A study of the concept of rank in set theory”, Master thesis, Lehigh University, 1973

    work page 1973

  9. [9]

    Set Theory: An Introduction to Independence Proofs

    Kunen, K. Set Theory: An Introduction to Independence Proofs. North-Holland, New York, 1980. 50 REFERENCES

    work page 1980

  10. [10]

    A survey of homogeneous structures

    Macpherson, D. “A survey of homogeneous structures”, Discrete Mathematics, 311(15): 1599– 1634, 2011

    work page 2011

  11. [11]

    Model Theory: An Introduction

    Marker, D. Model Theory: An Introduction. Springer-Verlag, New York, 2002

    work page 2002

  12. [12]

    Les antinomies de Russell et de Burali-Forti et le probleme fondamental de la theorie des ensembles

    Mirimanoff, D. “Les antinomies de Russell et de Burali-Forti et le probleme fondamental de la theorie des ensembles”, L’Enseignement Mathematique, 19: 37–52, 1917

    work page 1917

  13. [13]

    Mathematical Logic

    Quine, W.V. Mathematical Logic. Harvard University Press, 1981

    work page 1981

  14. [14]

    Predictability, Circularity, and Anti-Foundation

    Rathjen, M. “Predictability, Circularity, and Anti-Foundation”, in Link, Godehard (eds), One Hundred Years of Russell’s Paradox: Mathematics, Logic, Philosophy . Walter de Gruyter, 2004

    work page 2004

  15. [15]

    Broadening the Iterative Conception of Set

    Sharlow, M. “Broadening the Iterative Conception of Set”, Notre Dame Journal of Formal Logic, 42(3): 149–170, 2001

    work page 2001

  16. [16]

    Logic with denumerably long formulas and finite strings of quantifiers

    Scott, D. “Logic with denumerably long formulas and finite strings of quantifiers”, The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley , edited by Addison, Henkin, and Tarski, Studies in logic and the foundations of mathematics, North-Holland Pub- lishing Company, Amsterdam, 329–341, 1965

    work page 1963

  17. [17]

    Axiomatic Set Theory

    Suppes, P. Axiomatic Set Theory. Dover, New York, 1972

    work page 1972

  18. [18]

    The notion of rank in set theory and some of its applications

    Tarski, A. “The notion of rank in set theory and some of its applications”, Abstract 628, Bulletin of American Mathematical Society , 61(5): 443, 1955

    work page 1955

  19. [19]

    Denumerable models of complete theories

    Vaught, R. “Denumerable models of complete theories”, Infinitistic Methods (Proc. Symp. Foundations Math, Warsaw, 1959), Warsaw/Pergamon Press, 303–321, 1961

    work page 1959

  20. [20]

    The cumulative hierarchy and the constructible universe of ZFA

    Viale, M. “The cumulative hierarchy and the constructible universe of ZFA”, Mathematical Logic Quarterly, 50(1): 99–103, 2004. Email address : ejz5166@psu.edu and ezhang7337@gmail.com

    work page 2004