>>513
>いつもお世話になっている
>藤田博司先生、参ります
君に名前を使われる藤田氏はさぞ迷惑だろう

>”ZFCは、現代数学の舞台としてのフォンノイマン宇宙の理論を公理化するものである”
は、言葉遣いが乱暴で(特に「フォンノイマン宇宙の理論」)、この文単体だと意味が取りづらいが、文脈から
「VはZFCのモデルでありかつ現代数学の舞台であるから、ZFCは現代数学の理論を公理化する」
という意味だろう。これはまさに
>>472
>集合論が現代数学の大黒柱と言われるのは、数学のほとんどの理論を集合論上でエミュレートできてしまうほど強力な表現力を持つから。
と同じことを言っている。
そして重要なのはどこにも「Vの任意の元はZFCから存在証明可能」と書かれていない。モデルの定義から当たり前。
(実際、作図可能数体^2がユークリッド幾何学のモデルであるという事実は、同じくモデルであるR^2がユークリッド幾何学から存在証明不可能な点を持つことの決定的証拠。)
当然、
>順序数は、ZFCの中で
なる独自付け足しは大嘘。
瀬田爺、またしても妄想の裏付けに失敗。

>巨大基数:”どこまでも繰り返すという反復の原理を強化する公理を追加する”と述べられている
誰も巨大基数をZFCから存在証明可能と言ってない。
瀬田爺、またしてもストローマン論法に失敗。

>”巨大基数公理は、略 反復の原理の強化を目的とした公理”
>”ZFCだけでは存在が証明できないほど大きな順序数、とくに基数の存在を主張するものである”
>とある
誰もそうでないと言ってない。
瀬田爺、またしてもストローマン論法に失敗。

>まとめると
嘘をまとめても嘘にしかならない。

>藤田博司先生を、百回音読しよう!!(^^
百回の誤読より一回の正読の方が∞倍価値あることを知れ。