Đặt câu với từ "독립인"

1. 1962년에 폴 코엔이 이 방법을 도입해 연속체 가설과 선택 공리가 트르메로후렌켈 집합론으로부터 독립인 것을 증명했다.