Properties of Class of All Ordinals/Zero is Ordinal

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

The natural number $0$ is an element of $\On$.