Class of All Ordinals is Proper Class/Proof 1

Proof
We have that Successor Mapping on Ordinals is Strictly Progressing.

The result follows from Superinductive Class under Strictly Progressing Mapping is Proper Class.