러셀의 역설: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
공리화는 러셀의 역설을 극복하기 위해 시작되었다--> 일부는 공리는... |
편집 요약 없음 |
||
27번째 줄:
결론적으로, 러셀의 가설은 이 상상의 객체를 하나의 집합으로 가정하고, 이 가정으로 부순된 도출해결론이이러한되었음믈 집 이 아니라, 러셀의 가설에 내재된 것이다. 소박한 집합론은 러셀의 역설과 삿실 서논이적으로 참인지 거짓인지은 섯술이 논맂적을 강. .
소박한 집합론은 천재 칸토어(George Cant)가 발견한 집합론을 당대 그리고 후대 수학자들이 발전시킨 공리 집합론(axiomatic set theory)과 대비시켜 부르는 것이다. 공리 집합론은 유클리드의 수학원론(elements)의 공리화(axiomitization) 방법론을 채택하여 집합론을 체계화 시킨 것이다. 하지만,
== 역설의 이해하기
논리학을 전문적으로 공부하지 않은 일반인들도 이해하기 쉽게 러셀 자신이 그의 역설을 예로 설명한 것이 [[세비야의 이발사]] 이야기이다.
|