[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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基礎の公理（正則性公理））
もっと言えば、公理系では （∈の）グダグダとした説明は 避けるべき
つまり、公理系で グダグダとした説明をすると
その説明に使った用語を すべて 定義しなければならなくなる
さらに その定義の用語を説明しなければならなくなる・・・（これが無定義用語まで続くのです）
よって
”∈の定義”は、グダグダと書かないのが 公理系の記述としては 正しい態度なのですよ
基礎論ド素人さん ｗｗ
上下前次1-新書関写板覧索設栞歴
あと 600 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s