＞ここの
＞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),
the axiom of choice is essential, at least granted that the existence of an inaccessible cardinal is consistent with ZFC.
「このようにして、ソロヴェイは、ZFC (ツェルメロ-フランケル集合論と選択公理を加えたもの) からの非可測集合の存在の証明において、
少なくともアクセス不可能な基数の存在が ZFC と矛盾しないという前提のもとで、選択公理が不可欠であることを示しました。」

１．自動翻訳にかけた後、かならず元の英文と比較せよ
２．単語の訳で、数学において独自の訳が存在する場合は、必ず直せ（これ素人は絶対にできないので、理解してないと一発でバレる）

自動翻訳は英語の言い回しを日本語の言い回しに直す点では使えるが、
専門用語の翻訳はまあ壊滅的なので、信用するのは中身知らない素人だけ（笑）