>>221
>（強到達不能基数ぐらいまではL内にあるみたいね）

下記 Constructible universe みてね
Lは、ZFCの内部モデル
L is absolute and minimal
Since Ord⊂L⊆V
であるから >>229を認めると
（強到達不能基数ぐらいまではL内にあるみたいね）は否定される■

(参考)
https://ja.wikipedia.org/wiki/%E6%A7%8B%E6%88%90%E5%8F%AF%E8%83%BD%E9%9B%86%E5%90%88
ゲーデルの構成可能集合（こうせいかのうしゅうごう、 constructible universe または Gödel's constructible universe）とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。
ゲーデルは、構成可能集合からなるクラス（通常 L と記される）が ZFC、すなわち ZF に選択公理を加えたものの ZF での内部モデルになることを示した
略

https://en.wikipedia.org/wiki/Constructible_universe
Constructible universe
In set theory, the constructible universe (or Gödel's constructible universe), denoted by
L is a particular class of sets that can be described entirely in terms of simpler sets.

L is absolute and minimal

L and large cardinals
Since Ord⊂L⊆V, properties of ordinals that depend on the absence of a function or other structure (i.e.
Π1ZF formulas) are preserved when going down from
V to L. Hence initial ordinals of cardinals remain initial in L.