[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
56(1): 11/02(日)17:54 ID:kHsCJN3F(4/7) AAS
>ここの
>at least granted that the existence of an inaccessible cardinal is consistent with ZFC.
>(google訳にかけると)
>少なくとも、到達不可能な基数の存在がZFCと矛盾しないことは認められている。
>と訳される
人間の修正なしに機械翻訳がそのまま使えると思うのはバカ
上記の場合
誤 少なくとも、到達不可能な基数の存在がZFCと矛盾しないことは認められている
正 少なくとも、到達不可能な基数の存在がZFCと矛盾しない、と認めた上で
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),
省7
上下前次1-新書関写板覧索設栞歴
あと 946 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.012s