r2 vs r4
1
[[분류:논리학]][[분류:역설]][[분류:집합론]]
21
[목차]
3
[clearfix]
2
43
= 개요 =
54
>[math(\{x|x\not\in x\}\in\{x|x\not\in x\})]
65
영국의 수학자인 버트런드 러셀이 제시한 역설이다.
76
= 예시 =
7
88
== 이발사의 역설 ==
99
> 세비야의 한 이발사는 다음과 같이 선언했다.
1010
> "앞으로 나는 자기 수염을 '스스로 깎지 않는' 모든 사람들의 수염을 전부 깎아줄 것이오. 다만 '스스로 깎는' 사람은 깎아주지 않겠소."
......
1515
이 말을 집합론적으로 옮긴 것이 러셀의 역설이라고 보면 된다.
1616
= [[나무위키|the seed]] [[알파위키|계열]] [[더시드위키|위키]]에서의 [[:분류:분류]] =
1717
어쩌면 최상위 분류인 [[:분류:분류]]도 분류의 한 일종이니, 자기 자신을 스스로 분류해야 한다고 생각해야 하나, 어떤 집합에서 자기 자신을 그 집합의 원소로 하는 일은 수학/논리적으로 금지돼 있다.
18
19
[[분류:논리학]][[분류:역설]][[분류:집합론]]