전체집합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글편집 요약 없음 |
이전 편집에서 일부 내용을 전체모임으로 옮김 |
||
1번째 줄:
{{다른 뜻|전체모임||논의하려는 모든 대상을 포함하는 집합}}
[[집합론]]에서, '''전체집합'''(全體集合, {{lang|en|universal set}})은 모든 대상을 (자기 자신까지도) 원소로 포함하는 [[집합]]이다.<ref>{{harvnb|T. E. Forster|1995|p=1}}</ref> 표준적인 집합론에선 [[역설]]([[러셀의 역설]])을 유발하는, 존재치 않는 개념이지만, 전체집합을 허용하는 집합론도 있다.▼
▲[[집합론]]에서, '''전체집합'''(全體集合, {{lang|en|universal set}})은 모든 대상을 (자기 자신까지도) 원소로 포함하는 [[집합]]이다.<ref>{{harvnb|T. E. Forster|1995|p=1}}</ref> 표준적인 집합론에선 [[역설]]([[러셀의 역설]])을 유발하는, 존재치 않는 개념이지만, 전체집합을 허용하는 집합론도 있다.<!--
== 전체집합이 존재하는 집합론 체게 ==▼
== ZFC ==
=== 러셀의 역설 ===
=== 칸토어의 정리 === -->
전체집합이 존재하는 집합론 체계 중 가장 많이 쓰이는 것은 [[윌라드 반 오만 콰인]]의 [[새기초]]이다. [[알론조 처치]]와 [[아놀드 오버셜프]](Arnold Oberschelp)도 전체집합이 있는 집합론을 발표한 바 있다.
| |||