25/11/02 17:45:51.95 PmfdHnoP.net
>>51
(引用開始)
誤 アクセス不可能な基数の存在が ZFC と一致するという前提
正 アクセス不可能な基数の存在が ZFC と整合する（つまりZFCの公理と矛盾しない）という前提
(引用終り)
赤ペン先生ありがとう
それ、機械翻訳ままな （＾＾
原文を示しておくと
URLﾘﾝｸ(en.wikipedia.org)
In this way Solovay showed that in the proof of the existence of a non-measurable set from ZFC (Zermelo–Fraenkel set theory plus the axiom of choice), the axiom of choice is essential, at least granted that the existence of an inaccessible cardinal is consistent with ZFC.
ここの
at least granted that the existence of an inaccessible cardinal is consistent with ZFC.
な
(google訳にかけると)
少なくとも、到達不可能な基数の存在がZFCと矛盾しないことは認められている。
と訳される （＾＾