>>221
>例えば、ゲーデルがコーエンにより開発された強制法を用いて行った構成可能集合に対する仕事によって、（哲学的に興味深い）選択公理の独立性（英語版）および集合論の他の公理からの連続体仮説を証明することができる。

ここ誤訳やね
原文は下記
”for example in Kurt Godel's work on the constructible universe, which, along with the method of forcing developed by Paul Cohen can be shown to prove the (again philosophically interesting) independence of the axiom of choice and the continuum hypothesis from the other axioms of set theory.”

＜上記のGoogle和訳に手を入れたもの＞
例えば、クルト・ゲーデルが研究した構成可能な宇宙を使って、ポール・コーエンによって開発された強制の方法とともに、選択公理及び連続体仮説が、集合論の他の公理のからの、（哲学的に興味深い）独立性を証明することができる。

https://en.wikipedia.org/wiki/Model_theory
Model theory
(抜粋)
7 Set theory

The model-theoretic viewpoint has been useful in set theory; for example in Kurt Godel's work on the constructible universe, which, along with the method of forcing developed by Paul Cohen can be shown to prove the (again philosophically interesting) independence of the axiom of choice and the continuum hypothesis from the other axioms of set theory.
(引用終り)