more from this thinker | more from this text
Full Idea
The Axiom of Foundation (Zermelo 1930) says 'Every (descending) chain in which each element is a member of the previous one is of finite length'. ..This forbids circles of membership, or ungrounded sets. ..The iterative conception gives this centre stage.
Gist of Idea
Foundation says descending chains are of finite length, blocking circularity, or ungrounded sets
Source
Shaughan Lavine (Understanding the Infinite [1994], V.4)
Book Ref
Lavine,Shaughan: 'Understanding the Infinite' [Harvard 1994], p.135
13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
13493 | In the modern view, foundation is the heart of the way to do set theory [Hart,WD] |
13495 | Foundation Axiom: an nonempty set has a member disjoint from it [Hart,WD] |
18193 | The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy] |
15930 | Foundation says descending chains are of finite length, blocking circularity, or ungrounded sets [Lavine] |