[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
70(2): 2019/03/08(金)15:24 ID:wiE/rvIh(2/7) AAS
>>68
＞二つのコースがあって
つまり正則性公理は必要無いってことじゃんｗ
＞ピエロちゃん、”正則性公理を使わないコース”の証明がんばれぇ〜！（＾＾
だから言ってるだろ、そんなもんそこら中に転がってると
スレ主が証明を理解できてるかは怪しいがなｗ
73(1): 2019/03/08(金)15:32 ID:HVq5OYm0(11/21) AAS
>>70
>＞二つのコースがあって
>つまり正則性公理は必要無いってことじゃんｗ
正則性公理は、公理だから、
ZFCを前提として、それで証明が簡単にできるなら、知っておく方がいいだろう？（＾＾
というか、
一つは、正則性公理を前提としない複雑で長い証明と、
省7
76: 2019/03/08(金)15:37 ID:ULwq4qbD(8/16) AAS
>>70-72
スレ主は
∃xP(x)「Pを満たすｘが存在する」 を導くのに
∀xP(x)「全てのｘはPを満たす」 を前提することしか
思いつかない正真正銘の馬鹿らしい
死んだほうがいいな こんな白痴
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s