개념
- 러셀의 역설
- 모든 집합을 원소로 가지는 전체집합 U는 존재하지 않는다.
- ZF 집합론 (ZFC)
- 러셀의 역설을 방지할 수 있는 집합 정의
- 스스로를 원소로 포함하는 집합이나, 스스로를 원소의 원소로 포함하는 집합은 존재할 수 없다.
- 정칙성 공리: 공집합이 아닌 모든 집합은 자신과 서로소인 원소를 포함한다.
- https://ko.wikipedia.org/wiki/%EC%B2%B4%EB%A5%B4%EB%A9%9C%EB%A1%9C-%ED%94%84%EB%A0%9D%EC%BC%88_%EC%A7%91%ED%95%A9%EB%A1%A0