つづき
>スリーアウトで試合終了

ほんに 君は”ディベート”頭 だね
数学には向かないね。ロジカルな思考ができず、ロジックが 無意識のうちに 議論にあわせて ねじ曲がっていくね

そもそも 野球では、スリーアウトは 試合終了では無く ”チェンジ”です

以前、君は 数学の歴史は ”概念の拡張だ”と言ったよね
なのに、なんで 旧来の集合の概念に 固執するのだ？

数学の歴史は ”概念の拡張”だよ
旧来の集合の概念を拡張して、何が悪い？
例えば、下記の”グロタンディーク宇宙”

https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x ∈ U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
https://en.wikipedia.org/wiki/Grothendieck_universe
Grothendieck universe
Grothendieck universes and inaccessible cardinals
Since the existence of strongly inaccessible cardinals cannot be proved from the axioms of Zermelo–Fraenkel set theory (ZFC), the existence of universes other than the empty set and Vω cannot be proved from ZFC either.
However, strongly inaccessible cardinals are on the lower end of the list of large cardinals; thus, most set theories that use large cardinals (such as "ZFC plus there is a measurable cardinal", "ZFC plus there are infinitely many Woodin cardinals") will prove that Grothendieck universes exist.
(引用終り)

到達不能基数は、集合かい？ｗ
一つの比喩として、ZFCの宇宙を思いっきり拡大した
その極限が 到達不能基数であって（到達不能基数は 極限なので ZFC内では到達できない）
つまり Grothendieck universe は、ZFCの宇宙より 真に大きいのです

フェルマーと同じだね
証明を書くには、ZFCでは 余白が狭い！
よって、グロタンディーク宇宙 まで 拡張しよう ってことだ

Zermeloのシングルトンの極限(>>331)
無くても困らんが、あっても困らんとしたら？
画竜点睛の 竜の目として 一つ付け加えてあげれば 絵としては その方が 整っているでしょ？ｗ ；ｐ）
以上