Set has Rank

Theorem
If $S$ is a set, then $S$ has a rank.

Proof
Let $U$ be the class of all sets.

Define the mapping $F: \mathbb N \to U$ recursively:


 * $F \left({0}\right) = S$
 * $F \left({n + 1}\right) = \bigcup F \left({n}\right)$

Applying the axiom of union inductively, $F \left({n}\right)$ is a set for each $n \in \mathbb N$.

Let $\displaystyle G = \bigcup_{i \mathop = 0}^\infty F \left({i}\right)$.

By the axiom of unions, $G$ is a set.

Lemma
$G$ is transitive. That is, if $a \in b$ and $b \in G$, then $a \in G$.

Proof
Suppose $a \in b$ and $b \in G$.

Then by the definition of $G$, there exists an $n\in \mathbb N$, $b \in F(n)$.

By the definition of $F$, $F(n+1) = \bigcup F(n)$. Then by the definition of union, $a \in F(n+1)$.

Thus by the definition of $G$, $a \in G$.

Suppose for the sake of contradiction that for each ordinal $i$ the set $G\setminus V_i$ is non-empty.

Let $i$ be any ordinal.

Then by the axiom of foundation:

$\exists x: x \in G\setminus V_i \text{ and } x \cap (G \setminus V_i)= \varnothing$

Then since $G$ is transitive, $x \subset G$, so $x \subset V_i$.

I think I can show somehow that $x = V_i$, which will then produce an injective function from the class of ordinals to elements of $G$, which is impossible because $G$ is a set and On is a proper class. Alternatively (perhaps more simply), any proof that $G\setminus V_i$ is a strictly decreasing transfinite sequence will do the job.