[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
395(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/29(火)16:04 ID:R0QaAHkm(7/15) AAS
>>381
>外部ﾘﾝｸ:ja.wikipedia.org
>正則性公理
正則性公理について 下記を補足
有名な alg-d さん
あと
筑波大 坪井先生：「a∈aは成立しない」（下記）ご参照
省43
396: 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/29(火)16:05 ID:R0QaAHkm(8/15) AAS
>>395 タイポ訂正
(3)推移律 A⊂B かつB⊃C → A⊂C
↓
(3)推移律 A⊂B かつB⊂C → A⊂C
397(1): 04/29(火)16:15 ID:1aHDdtT3(12/20) AAS
>>395
>つまり、正則性公理は 表では ZFC公理で生成される集合を規定しているのだが
>裏の意味として、”記号∈は等号を含まない つまり 不等号 ＜であって ≦ではない”ということ
はい、またまた初歩的間違いです。
∈が等号を含まないのは∈の定義であって正則性公理とは関係ありません。
口を開けば初歩的間違いを犯すおサルさん、もう口閉じればいいのになぜか口開いてバカ自慢。
398: 04/29(火)16:21 ID:1aHDdtT3(13/20) AAS
>>395
>*)⊂は、下記”(2)反対称律 A⊂B かつA⊃B → A＝B”成立ですが、∈では不成立です！
⊂は等号を含むが∈は含まないのだから当たり前 バカですねえ
A∈B かつ B∈A なら A∋B∋A∋B∋・・・ でありこれは∈無限降下列、よって正則性公理違反
402(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/29(火)16:47 ID:R0QaAHkm(10/15) AAS
>>397
>∈が等号を含まないのは∈の定義であって正則性公理とは関係ありません。
基礎論ド素人ｗ
違うよ
正則性公理がなければ、”a∈a”を 否定できない
（cf >>395 「注意 8. a∈aを満たす集合は存在しない」 by Akito Tsuboi 筑波大 数理論理学ＩＩ 1.1.10基礎の公理（正則性公理））
もっと言えば、公理系では （∈の）グダグダとした説明は 避けるべき
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s