集合論について

[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

39(1): 2013/11/28(木)22:10:37.34 AAS
ZFCってでかすぎるんだよね
成り立つかどうか胡散臭い定理が結構ある
全体的にあまりに空想的な命題が多すぎて設定次第でどうにでもできてしまうからね
そこが人工的な感じがして今一本気でやればい部分がある

51: 2013/11/30(土)13:10:05.34 AAS
集合論とか意味不だわ
後期も単位落としそうでつらい

52: 2013/11/30(土)17:20:38.34 AAS
単位とか言ってる時点でだめだ
死んだほうがいいよ

100: 2014/02/16(日)16:52:56.34 AAS
形式主義を意識しながら圏論を勉強していきたいのですけど,
BGの公理系を学んだ後に圏論やったら見方がどういう風に変わりますかね？
BGの集合論やBGとZFCの関係について学べる本・論文あれば教えてください。

156: 2014/04/05(土)02:25:50.34 AAS
選択公理 ⇔ 整列可能定理 ⇔ ツォルンの補題

218: 2014/04/07(月)10:22:44.34 AAS
>>215
定義の意味についての議論もあるね

346: 2014/05/21(水)09:12:28.34 AAS
>>345
はあ？