Material set theory

Well-founded set

A material set is said to be ill-founded iff it is the start of a descending -chain¹, set i.e. there exists some function with and for every . A set is well-founded iff it is not ill-founded.

Ill-founded sets are forbidden by the Axiom of Foundation, and hence in ZF. A strong negation of the axiom of foundation is Aczel’s Antifoundation Axiom.

Properties

1. A set is well-founded iff its powerset is well-founded.
2. A set is well-founded iff all of its elements are well-founded.

Proof

proof

---

develop | en | sembr

Footnotes

1. 2006. Notes on set theory, ¶11.26, p. 166 ↩