Besonderhede van voorbeeld: 1247325231472287514

English

I see Skolem as arguing that all the evidence that has been given for the existence of uncountable sets is inconclusive, and the reason why he insists on considering countable models is that axiomatisation was put forward at the time as the only way to secure set theory, and what sets are and which sets exist was claimed to be determined by the axioms and their models (much as what Euclidean geometry is about was claimed to be determined by Hilbert 's axioms and their models ).

Korean

내가 그렇게 셀 수없는 집합의 존재에 대한 모든 증거가 결정적이지 않은 주장을하고있다, 그리고 그는 셀 모델을 고려하는 이유를 주장 Skolem 보여 앞으로 axiomatisation 설정 이론을 확보하는 유일한 방법으로 시간에 지시했다, 세트와 세트와 무엇 axioms들이 모델로 (많은 무슨 유클리드 기하학과 같이 결정되고있는 주장이었다 존재에 대해 교슈님 'axioms들이 모델 의한 결정하게) 주장했다.