>>671
>・κ＋１は到達不能基数か？　否　そもそもκ＋１の濃度はκと同じ（笑）
>・２＾κは到達不能基数か？　否　基数として κ＜２＾κ だが ２＾κ＝２＾κ だから到達不能でない

誤解誤読の複雑骨折だよ（引用の最後を見て（＾＾）
・>>641より
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
フォン・ノイマン宇宙
Vと集合論
κ が到達不能基数ならば、VκはZFCのモデルである。そして、Vκ+1はモース-ケリー集合論のモデルである。
・ここから 英文サイトに行って
https://en.wikipedia.org/wiki/Von_Neumann_universe
Von Neumann universe
Applications and interpretations
Applications of V as models for set theories
If κ is an inaccessible cardinal, then
Vκ is a model of Zermelo–Fraenkel set theory (ZFC) itself, and Vκ+1 is a model of Morse–Kelley set theory.[9][10] (Note that every ZFC model is also a ZF model, and every ZF model is also a Z model.)
　↓（Morse–Kelley set theoryにリンクがある）
https://en.wikipedia.org/wiki/Morse%E2%80%93Kelley_set_theory
Morse–Kelley set theory
Discussion
Model theory
ZFC, NBG, and MK each have models describable in terms of V, the von Neumann universe of sets in ZFC. Let the inaccessible cardinal κ be a member of V. Also let Def(X) denote the Δ0 definable subsets of X (see constructible universe). Then:
・Vκ is model of ZFC;
・Def(Vκ) is a model of Mendelson's version of NBG, which excludes global choice, replacing limitation of size by replacement and ordinary choice;
・Vκ+1, the power set of Vκ, is a model of MK.
(引用終り)

補足：”Vκ+1, the power set of Vκ, is a model of MK”な
the power set of Vκ
Vκは集合で、そのpower setが Vκ+1■