[過去ログ] 現代数学の系譜 カントル 超限集合論他 3 (548レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
528: 2021/12/07(火)19:39 ID:NlBzaa6N(1) AAS
>>525 >レーヴェンハイム-スコーレムが分かってないじゃんw
>>526 >おまえがな。

んだな
例えば最初の無限順序数ωより大きい超準自然数が存在する、なんて証明できない
超準自然数が存在する超準モデルにおける超準ωは 
その超準モデルにおけるいかなる超準自然数よりも大きい

やっぱS ETAはレーヴェンハイム・スコーレムが全然理解できない白痴だったな
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.851s*