[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

21(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/06(月)06:55 ID:/T0OAwM4(1) AAS
>>19
　>>15-16 より
従属選択公理
従属選択公理(英語: axiom of dependent choice;
DCと略される)とは、選択公理(AC)の弱い形で、しかし実解析の大部分を行うのに十分な公理である
使用例
このような公理が無いとしても、各 nについて普通の帰納法によって最初の n項を有限列としてとることはできる。
省29

---

22(2): 01/06(月)09:52 ID:bgJiiwgI(2/7) AAS
>>21
じゃ
「ZF上で実数は定義不可能」
が君の主張で良いのね？

---

27(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/06(月)12:41 ID:fVkdOcv7(1/2) AAS
>>23
>定義可能性と
>基本的諸性質の証明可能性は別

ID:mU+v9SoN は、御大か
巡回ご苦労様です

なるほど
定義可能としても
省15

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.033s