In the mathematical theory of the infinite, classes of cardinals which are very remote have been considered, with names such as inaccessible cardinals, strongly inaccessible cardinals, Mahlo cardinals, hyper-Mahlo cardinals, and so on.

While I will not begin to attempt to touch on much of this here, I have encountered a way to provide a small taste of some of this.

A few simple axioms suffice to define a set the number of whose elements must
be a strongly inaccessible cardinal, unless it has either no elements or aleph-null
elements. This kind of set is defined as a
*Grothendieck universe*.

The axioms which define such a universe are:

- If any set is a member of that universe, then all of its elements are also members of that universe;
- The set whose members are any pair of elements of that universe is also an element of that universe;
- If a set is a member of that universe, then the set of those sets which include any combination of the members of that set, which is known as the power set of that original set, is also an element of that universe;
- For any set A which is a member of that universe, and for any set B of elements of that universe which are themselves sets and which can be placed in a one-to-one correspondence with the elements of set A, the union of all the sets which are elements of set B is also an element of that universe.

Note that the fourth axiom does not state that set B is an element of the universe, although that is derivable from the four axioms as well.

If we assume the truth of the Generalized Continuum Hypothesis, we might be able to begin to approach assigning a definite value to the minimum number of elements a Grothendieck universe containing the set of real numbers might have. Or perhaps we should start with only the integers? But the power set of the integers has the same cardinality as the real numbers, and so it doesn't seem to matter which of those starting points we choose.

Assuming the GCH, and given that power sets of power sets belong to such a universe, we are already beyond aleph-n for any finite n.

So, one might timidly ask if perhaps its cardinality might be aleph-omega. But it appears that the fourth axiom will not allow that, as it vastly increases the size of the universe; and, indeed, aleph-omega is too small to be a strongly inaccessible cardinal.