[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ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