21/12/05 09:10:16.37 SVbdAHZX.net
ま～た、中卒🐎🦌が性懲りもなく可算多重一元🐷とかいいだしたよｗ
ｽﾚﾘﾝｸ(math板:730番)
＞有限多重シングルトンに上限はない。
＞だから、一階の理論では、可算多重シングルトンの存在は否定できない
＞（レーヴェンハイム・スコーレムの定理より、存在しても矛盾はしない）
レーヴェンハイム・スコーレムの定理は
超準有限シングルトンの存在を認めるだけであって
可算多重シングルトンの存在を認めるものではないよ
超準自然数と可算順序数ωの違い、わかる？
算術の超準モデル
URLﾘﾝｸ(ja.wikipedia.org)