[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
51
(1): 11/02(日)17:34 ID:kHsCJN3F(1/7) AAS
>>49
誤 アクセス不可能な基数の存在が ZFC と一致するという前提
正 アクセス不可能な基数の存在が ZFC と整合する(つまりZFCの公理と矛盾しない)という前提

この程度の英語が正しく翻訳できないド素人が、ドヤ顔で数学板にコピペすんな
54: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/02(日)17:45 ID:PmfdHnoP(7/9) AAS
>>51
(引用開始)
誤 アクセス不可能な基数の存在が ZFC と一致するという前提
正 アクセス不可能な基数の存在が ZFC と整合する(つまりZFCの公理と矛盾しない)という前提
(引用終り)

赤ペン先生ありがとう
それ、機械翻訳ままな (^^

原文を示しておくと
外部リンク: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.
省6
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.052s