[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

448(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)19:47 ID:mjl0bfS3(37/41) AAS
>>447
つづき

（参考）
外部ﾘﾝｸ:ja.wikipedia.org
公理的集合論
ZF 公理系
・空集合の公理　要素を持たない集合が存在する：
省20

---

456(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)20:23 ID:mjl0bfS3(38/41) AAS
>>448
渕野流では、（分出公理）と（置換公理）と、2つ並べて、公理を10個挙げている

”置換公理は，分出公理の拡張になっており，実際，置換公理と他の集合論の
公理から，分出公理の一つ一つの主張を導きだすことができる”
と書いている。本当は 「分出定理」だろうけど、分り易くしたのだろう

ここらは、言ったモノ勝ち みたいなものでしょうかね？ｗ（＾＾；
（>>436 Yourpediaより）
省35

---

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

---

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

---

ぬこの手 ぬこTOP 0.031s