Definition 1.1.2 (Well-Founded).label A class $C$ of sets is $\in$-inductive if whenever all elements of some set $x$ are in $C$, then $x\in C$. A set $x$ is well-founded if it belongs to every $\in$-inductive class $C$.
Definition 1.1.2 (Well-Founded).label A class $C$ of sets is $\in$-inductive if whenever all elements of some set $x$ are in $C$, then $x\in C$. A set $x$ is well-founded if it belongs to every $\in$-inductive class $C$.
Post a Comment