現代数学の系譜 工学物理雑談 古典ガロア理論も読む64

895 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/05/05(日) 17:08:17.68 ID:1ZCM8Sju.net] >>838-839 補足 >A quick way to see that the conglomerability assumption is going to be dubious is to consider the analogy of the Brown-Freiling argument against the Continuum Hypothesis (see here for a discussion). >Assume CH. Let < be a well-order of [0,1]. 分っていると思うが ”ZF（ツェルメロ＝フレンケルの公理系）に一般連続体仮説を加えると選択公理を証明できる[2]。 従って、一般連続体仮説と選択公理は何れもZFとは独立だが、前者の方がより強い主張であると言える。” ってこと.(CHを仮定すれば、選択公理も含まれる) https://ja.wikipedia.org/wiki/%E9%80%A3%E7%B6%9A%E4%BD%93%E4%BB%AE%E8%AA%AC 連続体仮説 連続体仮説（れんぞくたいかせつ、Continuum Hypothesis, CH） https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 選択公理 ZF（ツェルメロ＝フレンケルの公理系）に一般連続体仮説を加えると選択公理を証明できる[2]。 従って、一般連続体仮説と選択公理は何れもZFとは独立だが、前者の方がより強い主張であると言える。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef