Von Neumann Hierarchy is Supertransitive

Theorem
Let $V$ denote the Von Neumann Hierarchy.

Let $x$ be an ordinal.

Then $V \left({x}\right)$ is supertransitive.

Proof
The proof shall proceed by Transfinite Induction on $x$.

Basis for the Induction
We have that:
 * $V_0 = \varnothing$

and $\varnothing$ is supertransitive by the very fact that it has no elements.

This proves the basis for the induction.

Induction Step
Let $V \left({x}\right)$ be supertransitive.

First, to prove transitivity.

Let $V \left({x}\right)$ is transitive.

Then:

Next, to prove supertransitivity:

This proves the induction step.

Limit Case
Let $x$ be a limit ordinal.

Furthermore, let $V \left({y}\right)$ be transitive for all $y \in x$.

Then:

This proves transitivity.

Now, to prove supertransitivity:

This proves the limit case.