Material set theory

Well-founded set

A material set is said to be ill-founded iff it is the start of a descending -chain¹, #m/def/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 . 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.

#state/develop | #lang/en | #SemBr