Counting Theorem/Also presented as

Counting Theorem: Also presented as
Some sources present the Counting Theorem as the definition of an ordinal as the order type of a well-ordering.