>>46 関連

数学における存在とは？
下記Von Neumann universe を例に
”Since existence is a difficult concept, one typically replaces the existence question with the consistency question, that is, whether the concept is free of contradictions. A major obstacle is posed by Godel's incompleteness theorems, which effectively imply the impossibility of proving the consistency of ZF set theory in ZF set theory itself, provided that it is in fact consistent.[12]
The integrity of the von Neumann universe depends fundamentally on the integrity of the ordinal numbers, which act as the rank parameter in the construction, and the integrity of transfinite induction, by which both the ordinal numbers and the von Neumann universe are constructed. ”

（google訳一部修正）
存在は難しい概念であるため、通常、存在の問題を一貫性の問題、つまり概念に矛盾がないかどうかに置き換えます。 しかし、ゲーデルの不完全性定理は、実際に一貫しているという条件で、ZF集合論自体の中でZF集合論の一貫性を証明することが不可能であることを事実上暗示しているという大きな障害があります。[12]
フォンノイマン宇宙のintegrityは、基本的に、構築のランクパラメーターとして機能する序数のintegrityと、序数とフォンノイマン宇宙の両方が構築される超限帰納法のintegrityに依存します。
(引用終り)

ツェルメロのシングルトンで、可算多重まで拡張できるかどうか？ 数学的存在の問題は、上記のVon Neumann universeと同じ
”一貫性の問題、つまり概念に矛盾がないかどうか”ってこと

ツェルメロのシングルトンで、可算多重を否定したい人は、どうぞ証明を
”一貫性の問題、つまり概念に矛盾がある”と（ZFC公理系で良いよ）
但し、カッコ{}は前スレに書いたように、添え字付きとする
（矛盾は、証明できないよね、多分）

つづく