[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
402(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/29(火)16:47 ID:R0QaAHkm(10/15) AAS
>>397
>∈が等号を含まないのは∈の定義であって正則性公理とは関係ありません。
基礎論ド素人w
違うよ
正則性公理がなければ、”a∈a”を 否定できない
(cf >>395 「注意 8. a∈aを満たす集合は存在しない」 by Akito Tsuboi 筑波大 数理論理学II 1.1.10基礎の公理(正則性公理))
もっと言えば、公理系では (∈の)グダグダとした説明は 避けるべき
省6
404: 04/29(火)18:10 ID:1aHDdtT3(16/20) AAS
>>402
>>∈が等号を含まないのは∈の定義であって正則性公理とは関係ありません。
>基礎論ド素人w
おサルの君がね
>違うよ
違わないよ
>正則性公理がなければ、”a∈a”を 否定できない
省10
420(1): 04/29(火)19:19 ID:ISHhaCpk(12/14) AAS
>>402
>正則性公理がなければ
ZFに正則性公理あるけど
外部リンク:ja.wikipedia.org
残念でした、キモコテハン君 君の完全敗北 君はギロチンで首●り落とされて●にました
今度生まれてくるときは、文章が読める人として生まれてくるんだよ
アーメン
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.039s