2017년 4월 1일 (토) 23:56 판 편집 윤덕주 (토론 \| 기여) 23 편집 이상하게 작동 태그: 시각 편집 ← 이전 편집		2017년 4월 2일 (일) 00:08 판 편집 편집 취소 윤덕주 (토론 \| 기여) 23 편집 →‎러셀의 역설과 소박한 집합론(naïve set theory) 태그: 시각 편집 다음 편집 →
25번째 줄: 모든 집합은 자신을 원소로 포함할 수 없으므로, 러셀의 역설이 가정하는 ‘자신을 원소로 포함하지 않는 집합을 포함하는 집합’은 모든 집합을 포함하는 집합을 의미한다. 그리고 모든 집합을 포함하는 집합은 존재하지 않는다. 여기서, 존재하지 않는다는 것의 의미는 어떠한 논리, 집합론으로 유도해낼 수 없다는 것이고, 수학적인 객체가 아니라는 것이며, 상상의 객체에 지나지 않는 다는 것이다. 물론 이런 상상의 객체는 상상을 통해서 얼마든지 만들어 낼 수 있다. 결론적으로, 러셀의 가설은 이 상상의 객체를 하나의 집합으로 가정하고, 이 가정으로 ~~못순된~~부터 ~~도출해결론이이러한되었음믈~~ ~~집 이 아니라, 러셀의 가설에 내재된 것이다. 소박한 집합론은 러셀의 역설과 같은 서술이이논맂적으참인 논맂적을 강. .~~ == 설의 이해하를 돕기윟윟다 == 소박한 집합론은 천재 칸토어(George Cant)가 발견한 집합론을 당대 그리고 후대 수학자들이 발전시킨 공리 집합론(axiomatic set theory)과 대비시켜 부르는 것이다. 공리 집합론은 유클리드의 수학원론(elements)의 공리화(axiomitization) 방법론을 채택하여 집합론을 체계화 시킨 것이다. 하지만, 일부 공린는않짐만 ~~== 역설의 이해하기 챝택되었다 ==~~ 논리학을 전문적으로 공부하지 않은 일반인들도 이해하기 쉽게 러셀 자신이 그의 역설을 예로 설명한 것이 [[세비야의 이발사]] 이야기이다.

러셀의 역설: 두 판 사이의 차이