(불러오기) [[분류:가져온 문서/오메가]] Skolem's paradox [[뢰벤하임-스콜렘 정리]]에 의해서 도출되는 역설 중 하나로, 집합론의 모형과 관련이 있다. == 진술 == 만약 ZFC가 일관되었다면 ZFC는 가산 모형 [math(\mathfrak{M})]을 갖는다. 그런데, ZFC의 가산 모형은 멱집합 공리와 무한 공리를 만족시키므로 [math(\mathfrak{M})]은 분명 '비가산 집합' [math(A)]를 포함해야 한다. 합집합 공리에 의해 [math(A)]의 원소는 모두 [math(\mathfrak{M})]의 원소여야 하고, 따라서 [math(\mathfrak{M})]는 비가산 개의 원소를 포함해야 할 것이다. 하지만 그 모형 자체는 가산이다. 어떻게 가산인 모형이 비가산인 집합을 포함할 수 있는가? ==역설의 해결== 이는 '집합 [math(X)]의 농도가 무한기수 [math(\kappa)]이다'라는 문장이 절대적이지 않아서 발생한다. 즉, 어떤 집합의 농도를 말하는 논리 문장은 집합론의 어떤 모형에선 참일 수 있지만 집합론의 어떤 모형에서는 거짓일 수 있다. == 참고 문헌 == * Skolem's paradox. ProofWiki. (n.d.). Retrieved July 17, 2013, from http://www.proofwiki.org/wiki/Skolem's_Paradox. [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])] (임시 저장) (임시 저장 불러오기) 기본값 모나코 에디터 normalnamumarknamumark_betamacromarkmarkdowncustomraw ↪️💎🛠️ (추가) [[분류:가져온 문서/오메가]] Skolem's paradox [[뢰벤하임-스콜렘 정리]]에 의해서 도출되는 역설 중 하나로, 집합론의 모형과 관련이 있다. == 진술 == 만약 ZFC가 일관되었다면 ZFC는 가산 모형 [math(\mathfrak{M})]을 갖는다. 그런데, ZFC의 가산 모형은 멱집합 공리와 무한 공리를 만족시키므로 [math(\mathfrak{M})]은 분명 '비가산 집합' [math(A)]를 포함해야 한다. 합집합 공리에 의해 [math(A)]의 원소는 모두 [math(\mathfrak{M})]의 원소여야 하고, 따라서 [math(\mathfrak{M})]는 비가산 개의 원소를 포함해야 할 것이다. 하지만 그 모형 자체는 가산이다. 어떻게 가산인 모형이 비가산인 집합을 포함할 수 있는가? ==역설의 해결== 이는 '집합 [math(X)]의 농도가 무한기수 [math(\kappa)]이다'라는 문장이 절대적이지 않아서 발생한다. 즉, 어떤 집합의 농도를 말하는 논리 문장은 집합론의 어떤 모형에선 참일 수 있지만 집합론의 어떤 모형에서는 거짓일 수 있다. == 참고 문헌 == * Skolem's paradox. ProofWiki. (n.d.). Retrieved July 17, 2013, from http://www.proofwiki.org/wiki/Skolem's_Paradox. [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])] 비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다. 편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이 CC BY 4.0에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다. 전송 일반모드 미리보기 다크모드 미리보기
