Definition:Well-Founded Relation/Warning
Well-Founded Relation: Warning
According to Strictly Well-Founded Relation is Well-Founded, the Axiom of Foundation implies that every strictly well-founded relation is well-founded.
As the definition quantifies over general subclasses, well-foundedness is not a first-order property.
Thus it cannot be used in a formula of a theory, like NBG class-set theory, that only allow quantification over sets.
For example it cannot be used with the axiom schema of specification in NBG set theory, and statements using it must generally be framed as schemas.
A higher-order theory such as Morse-Kelley set theory allows it to be used more freely and directly.
A concrete example:
Let $A$ be a class.
Let $\RR$ be a relation on $A$.
One cannot directly use the axiom schema of specification in NBG theory to form the class of all subsets $x$ of $A$ such that the restriction of $\RR$ to $A \setminus x$ is a well-founded relation.
Sources
This page may be the result of a refactoring operation. As such, the following source works, along with any process flow, will need to be reviewed. When this has been completed, the citation of that source work (if it is appropriate that it stay on this page) is to be placed above this message, into the usual chronological ordering. In particular: Is this discussed here? If you have access to any of these works, then you are invited to review this list, and make any necessary corrections. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{SourceReview}} from the code. |
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.): $\S 10.1$