Strongly inaccessible cardinal (source code)

= Strongly inaccessible cardinal
{wiki=Inaccessible_cardinal}

A strongly inaccessible cardinal is an uncountable regular strong limit cardinal.