The von Neumann universe, or von Neumann hierarchy of sets, denoted V, is the class of hereditary well-founded sets studied in set theory; formalized by Zermelo-Fraenkel set theory, it is often used to interpret or motivate that theory's own axioms. It is named after John von Neumann, though it was first published by Ernst Zermelo in 1930. Each well-founded set is assigned a rank, defined inductively as the smallest ordinal greater than the ranks of all of its members, and the sets making up V are organized into a transfinite, cumulative hierarchy indexed by that rank.
Facts
Connections
In Branch
Source Wikipedia: Von Neumann universe
Is Kind Of Object
Sets, Concepts Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.
Sources
1. Wikipedia: Von Neumann universe
History
The first publication of the von Neumann universe was by Ernst Zermelo in 1930.
Introduction
the von Neumann universe, or von Neumann hierarchy of sets, denoted by V, is the class of hereditary well-founded sets.
In Branch: Set Theory, Lead sentence
In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted by V, is th
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.