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