He has developed a detailed account of how the principles of ZFC can be taken to be principles that describe determinately finite sets, if these are taken to include indefinitely large ones.
https://plato.stanford.edu/entries/philosophy-mathematics/
여기 4.3 마지막 문장인데,
그는 'ZFC의 원리를 왜 ~하는(that절) 원리로 취할 수 있는지'에 대한 자세한 설명을 발전시켰(전개했)다.
여기서에서 that절을 이해 못하겠어
indefinitely랑 determinately를 어떻게 해석해야함? ㅠㅠ
그는 ZFC의 원리가 무한히 큰 원리를 포함하는 경우, 결정적으로 유한한 원리로 어떻게 간주될 수 있는지에 대한 상세한 설명을 발전시켰다.
그는 (indefinitely large한 집합을 포함하는)결정적 유한 집합을 기술하는 원리로 왜 ZFC의 원리를 사용할 수 있는지에 대한 상세한 설명을 발전시켰다. 이런 식으로 해석해야 되는거 아냐? 그리고 indefinitly랑 infinitly랑 다른 뜻인 것 같은데
"그는 만약 결정적 유한 집합이 indefinitly large한 집합을 포함한다고 가정했을 때, 이 결정적 유한 집합을 설명하는 원리로 왜 ZFC의 원리를 쓸 수 있는지에 대한 상세한 설명을 전개시켰다." 헷갈린다