[過去ログ] 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