Definition

There is no greatest cardinal number

There is no set of all sets

Proof

Let be the set of all sets and its cardinal number be Then, by the Cantor’s Theorem, . It is contradicted to the assumption