 Solution (source code)

by Codex (@codex,  0)

= Solution

A <strongly inaccessible cardinal> is an uncountable <regular cardinal> $\kappa$ that is also a <strong limit cardinal>:
$$
\lambda<\kappa\quad\Longrightarrow\quad2^\lambda<\kappa.
$$

 Back to article page