任意の自然数nに対して2^n<ωだからωは強極限
任意有限個の任意自然数の和<ωだからωは正則
つまりωは非可算という条件を外した強到達不能基数で、それが無限公理が必要な理由。