Strongly inaccessible cardinal (source code)

= Strongly inaccessible cardinal

= Inaccessible cardinal
{synonym}

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