19/05/05 17:08:17.68 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を仮定すれば、選択公理も含まれる)
URLﾘﾝｸ(ja.wikipedia.org)
連続体仮説
連続体仮説（れんぞくたいかせつ、Continuum Hypothesis, CH）
URLﾘﾝｸ(ja.wikipedia.org)
選択公理
ZF（ツェルメロ＝フレンケルの公理系）に一般連続体仮説を加えると選択公理を証明できる[2]。
従って、一般連続体仮説と選択公理は何れもZFとは独立だが、前者の方がより強い主張であると言える。