In mathematics, the axiom of regularity (also known as the axiom of foundation) is an axiom of Zermelo–Fraenkel set theory that states that every non-empty...
24 KB (2,942 words) - 17:56, 1 September 2024
replacing the axiom schema of specification with the axiom schema of replacement. Appending this schema, as well as the axiom of regularity (first proposed...
46 KB (6,221 words) - 09:31, 9 September 2024
Von Neumann universe (redirect from Von Neumann universe of sets)
The axiom of foundation (or regularity) demands that every set be well founded and hence in V, and thus in ZFC every set is in V. But other axiom systems...
21 KB (2,809 words) - 09:08, 28 May 2024
Axiom of extensionality Axiom of empty set Axiom of pairing Axiom of union Axiom of infinity Axiom schema of replacement Axiom of power set Axiom of regularity...
3 KB (270 words) - 01:10, 13 February 2024
then S + Regularity is consistent. S + Regularity implies the axiom of limitation of size. Since this is the only axiom of his 1925 axiom system that...
97 KB (15,657 words) - 00:24, 3 August 2024
Non-well-founded set theory (redirect from Axiom of superuniversality)
without the axiom of regularity) that well-foundedness implies regularity. In variants of ZFC without the axiom of regularity, the possibility of non-well-founded...
12 KB (1,477 words) - 09:29, 27 July 2024
Universal set (redirect from Set of all sets)
comprehension, or the axiom of regularity and axiom of pairing. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any...
10 KB (1,327 words) - 06:43, 21 May 2024
The axiom of extensionality, also called the axiom of extent, is an axiom used in many forms of axiomatic set theory, such as Zermelo–Fraenkel set theory...
7 KB (966 words) - 20:50, 26 August 2024
Ackermann set theory (redirect from Axiom of heredity)
axiom is identical to the axiom of regularity in ZF. This axiom is conservative in the sense that without it, we can simply use comprehension (axiom schema...
9 KB (1,332 words) - 20:05, 29 July 2024
x } {\displaystyle x=\{x\}} from the Axiom of regularity. The axiom of pairing also allows for the definition of ordered pairs. For any objects a {\displaystyle...
7 KB (1,147 words) - 01:48, 9 February 2024