>>189
(引用開始)
>１）ノイマン宇宙Vの"内"の 普通の基数λで λ＝ κなら λ’＜λ となるλ’が存在して 2^λ ＝λ＝ κとなるが
2^λ' ＝λ＝ κ の誤字であることは許すとして
もしそうならκは強到達不能基数の定義を満たしませんけど？　頭大丈夫ですか？
(引用終り)

ご指摘ありがとね では>>187で
上記１）は、強到達不能基数κが、ZFCから存在を証明できない基数とすることで、
上記１）は、省ける＊）
よって、強到達不能基数κの定義に「ZFCから存在を証明できない基数」と限定を入れることにするよ

このとき、>>187より
２）λ < κ＜ 2^λ であることはできない。∵ 2^λ < κに反する
　つまり、強到達不能基数 κとは 非可算正則極限基数であり かつ ノイマン宇宙Vの"内"に存在しえない
　そう定義された 基数だということ（定義の気持ちを考えようね）
　再度強調すると 普通の基数（2^λたち）からなる Vの上（いかなる2^λたちよりも大）■
は、成り立つ

補足すると
ノイマン宇宙Vの"内"には 基数たちが 並んで
・・λ , 2^λ,2^2^λ,2^2^2^λ,・・ < κ
となっているってことだ
つまり、2^2^・・^2^λ=λ’と置き直して
λ’＜κ＜2^λ’ となるならば、>>1より
定義：κ が非可算正則極限基数であり、λ < κ → 2^λ < κ を満たす
に反する■
注：・・λ , 2^λ,2^2^λ,2^2^2^λ,・・たちは、ZFCから証明可能な基数な
そして、いま考えている ノイマン宇宙Vは あくまで 「ZFCから証明可能な集合のみを含む」と限定する
（この限定を入れないと 議論が発散するから）

注＊）
https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
到達不能基数
このことから、ZFCからは到達不能基数の存在を証明できないし、ZFCは到達不能基数の非存在と矛盾しない。