[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
95: 2014/02/08(土) 19:14:54.74 AAS
がんばれ
139: 2014/04/01(火) 15:00:34.74 AAS
可能である事を主張するのは,証明図を見つけたらいいだけいい一方,,
不可能である事を主張するのって大分困難だと思ってるんですが,
それをささっとレスして凄いですね。
266: 2014/04/25(金) 12:07:12.74 AAS
文脈に応じていろんな明らかがあるよ
289: 2014/04/29(火) 12:53:55.74 AAS
公理論的集合論の本じゃないけど
学部レベルの素朴集合論の本だとは言っても良いんじゃないの？
このレベルの本はどれも大して優劣は無いからどれでも気にいった本で良いよ。
日本語の本で
諸定義、集合に関するブール演算、選択公理、濃度、順序数、
という順序で基本的なことを解説するパターンの本はどれでもほぼ同じ。
292(1): 2014/04/30(水) 20:56:21.74 AAS
証明論の順序数解析の本とかにはそういう証明があるよ
たとえば新井敏康の数学基礎論の第八章（証明論の章）には
集合論KPの無矛盾性の統語論的証明がある
295: 2014/05/01(木) 07:58:11.74 AAS
>>294
完全性定理ですね。それはわかっているのですが、
私が「なぜ」と言ったのは、「どういうしくみ・理由で」無矛盾なのかを知りたい
という意味でした。モデルの存在からは、「とにかく無矛盾」としかわからないと
思うので。
304: 2014/05/02(金) 12:55:03.74 AAS
哲厨はこれだから
322(1): 2014/05/08(木) 20:00:37.74 AAS
集合論の言語は有限文字しかないから
論理式の集まりに整列順序を入れられる。
だからこの場合ACは無くても可算な初等部分構造を取れる。
510: 2017/06/05(月) 16:30:16.74 ID:jJS0qh75(4/6)調 AAS
目次見て読んだ気になって503みたいなこと言うとか間抜けすぎて言葉もないわ。
まあ>>506なんだろうけど。
実際p.157に分出公理の弱さと置換公理の強さについて書かれてるから>>484は読むと良い。
594: 2017/10/26(木) 02:59:53.74 ID:mEYHIm5a(3/3)調 AAS
ところで記述集合論は代数幾何にどんなふうに役だってるの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.001s*