Class such that Every Transitive Subset is Element of it Contains All Ordinals

From ProofWiki
Jump to navigation Jump to search


Let $K$ be a class.

Let $K$ be such that every transitive subset of $K$ is an element of $K$.

Then every ordinal is an element of $K$.


Let us assume the hypothesis.

Let $\On$ denote the class of all ordinals.

From Well-Ordering of Class of All Ordinals under Subset Relation, $\On$ is well-ordered under $\subseteq$.

Hence we can use the First Principle of Transfinite Induction.

Let $\alpha$ be an ordinal such that every ordinal less than $\alpha$ is an element of $K$.

Thus $\alpha \subseteq K$.

As Ordinal is Transitive, it follows by hypothesis that:

$\alpha \in K$

So if all ordinals less than $\alpha$ are elements of $K$, then so is $\alpha$.

Hence by the First Principle of Transfinite Induction, all ordinals are in $K$.