[過去ログ]
現代数学の系譜 カントル 超限集合論他 3 (548レス)
現代数学の系譜 カントル 超限集合論他 3 http://rio2016.5ch.net/test/read.cgi/math/1595034113/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
517: 132人目の素数さん [] 2021/12/05(日) 09:10:16.37 ID:SVbdAHZX ま〜た、中卒🐎🦌が性懲りもなく可算多重一元🐷とかいいだしたよw https://rio2016.5ch.net/test/read.cgi/math/1636122558/730 >有限多重シングルトンに上限はない。 >だから、一階の理論では、可算多重シングルトンの存在は否定できない >(レーヴェンハイム・スコーレムの定理より、存在しても矛盾はしない) レーヴェンハイム・スコーレムの定理は 超準有限シングルトンの存在を認めるだけであって 可算多重シングルトンの存在を認めるものではないよ 超準自然数と可算順序数ωの違い、わかる? 算術の超準モデル https://ja.wikipedia.org/wiki/%E7%AE%97%E8%A1%93%E3%81%AE%E8%B6%85%E6%BA%96%E3%83%A2%E3%83%87%E3%83%AB http://rio2016.5ch.net/test/read.cgi/math/1595034113/517
523: 132人目の素数さん [] 2021/12/07(火) 08:36:07.37 ID:Z1Ij38kG >>517 >レーヴェンハイム・スコーレムの定理は >超準有限シングルトンの存在を認めるだけであって 違うんじゃね 独自説だろ http://rio2016.5ch.net/test/read.cgi/math/1595034113/523
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s