Beth Hierarchy

Using Cantor’s Theorem we can list some Cardinals inductively as follows:

where we note if and only if