集合論について

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

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

281: 2014/04/28(月)10:23:25.13 AAS
ZF+V=Lの無矛盾性の証明よりZF+not{V=L}の無矛盾性の証明の方がずっと
難しいのね？なぜ？

294(1): 2014/05/01(木)00:23:17.13 AAS
モデルが存在するならば無矛盾というのは
健全性定理という一つの定理

425: 2015/10/11(日)17:21:30.13 ID:xAr9yp65(1) AAS
>>424
ますます意味がわからない。

あなたの知ってる極小元の定義を書いてみて。

493: ￥ ◆2VB8wsVUoo 2017/06/05(月)03:55:55.13 ID:zhDHDNnu(2/21) AAS
￥

534: ￥ ◆2VB8wsVUoo 2017/06/07(水)09:53:26.13 ID:zxnHyA3p(7/10) AAS
￥

611: ￥ ◆2VB8wsVUoo 2018/01/19(金)18:32:13.13 ID:ujRq+81i(6/10) AAS
￥