전체집합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 로봇이 더함: uk:Універсальна множина |
잔글 백토:외국어 고유명사의 한글 표기#마무리의 토론 결과에 따른 처리 |
||
5번째 줄:
== 수학기초론에서의 전체집합 ==
보다 전문적으로, [[수학기초론]]에서 전체집합은 다루어지는 모든 대상을 포함하는 집합으로, 이는 자기 자신까지도 원소로 포함한다.<ref>{{서적 인용 | 저자=T. E. Forster | 제목= Set Theory with a Universal Set: Exploring an Untyped Universe (Oxford Logic Guides 31) | 출판사=Oxford University Press | 발행년도=1995 | id=ISBN 0-19-851477-8| 쪽=p. 1}} </ref> 즉, 이는 [[전체모임]]이 집합인 경우에 해당된다. 현대 수학에서 가장 널리 사용되는 공리계인 [[ZFC]]에는 이런 의미의 전체집합이 존재하지 않는다. 전체집합이 존재하는 집합론 체계로서 가장 유명한 것은 [[윌라드 반 오만 콰인]]의 [[새기초]] 이론이며, [[알론조 처치]]와
== 주석 및 참고 자료 ==
|