追加

(抜粋)
https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
集合論において、非可算基数 κ が弱到達不能基数（じゃくとうたつふのうきすう、英: weakly inaccessible）であるとは、それが正則な極限基数（英語版）であることを言い、強到達不能基数 (strongly inaccessible) または単に到達不能基数 (inaccessible) であるとは、κ 未満の任意の基数 λ に対し、
2^λ<κ を満たす正則基数であることを言う[1]。
弱到達不能基数は Hausdorff (1908)、強到達不能基数は Sierpiński & Tarski (1930) および Zermelo (1930) によって導入された。

“到達不能基数”という用語は曖昧である。1950年頃までは弱到達不能基数を指していたが、以後は普通は強到達不能基数を意味するからである。

定義より、強到達不能基数は同時に弱到達不能基数でもある。一般連続体仮説が成り立つ場合は、強到達不能基数であることの必要十分条件は弱到達不能であることになる。

ℵ0 は正則な強極限基数である。選択公理を仮定すると、他の全ての無限基数は正則かまたは（弱）極限である。しかしながら、その両方になれるもの、即ち弱到達不能基数は中でも大きいものに限られる。

順序数が弱到達不能基数であるための必要十分条件は、それが正則順序数であり、かつ、正則順序数の列の極限であることである（0,1, ℵ0 は正則順序数だが正則順序数の列の極限ではない）。強極限かつ弱到達不能な基数は強到達不能である。

（ここ分かり難い 元英文が An ordinal is a weakly inaccessible cardinal if and only if it is a regular ordinal and it is a limit of regular ordinals. (Zero, one, and ω } are regular ordinals, but not limits of regular ordinals.)です https://en.wikipedia.org/wiki/Inaccessible_cardinal ）

強到達不能基数の存在は、グロタンディーク宇宙が存在するという形で仮定される場合がある。この両者の間には深い繋がりがある。

＜英文＞多分これが元
https://en.wikipedia.org/wiki/Inaccessible_cardinal
Inaccessible cardinal