Key points are not available for this paper at this time.
타르스키의 유클리드 선형자와 컴퍼스를 이용한 기하학 버전을 바탕으로, 구성 정리를 표현하는 방법을 보여주고, 모든 순수 존재론적 정리에 대해 이를 암시하는 구성 정리가 있음을 보여줍니다. 이어서 관련된 결과와 열린 질문들을 간략하게 설명합니다.
John B. Burgess (화요일,)는 이 질문을 연구했습니다.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: