"집합론"의 두 판 사이의 차이

21 바이트 추가됨 ,  4년 전
편집 요약 없음
이를 피하기 위해 여러 방법이 사용되는데, 크게 세 가지로 구분된다.
하나는 분리공리만을 허용하는 것이고, 또 하나는 변수의 타입을 집합과 유로 구분하는 것이고, 또 하나는 사용할 수 있는 논리 공식에 제한을 두는 것이다.
 
== 같이 보기 ==
* [[게오르크 칸토어]] ([[1845년]]-[[1918년]]) - [[독일]]의 [[수학자]] 및 [[철학자]]로, 집합론의 창시자로 잘 알려져 있다.
* [[주세페 페아노]] ([[1858년]]-[[1932년]]) - [[이탈리아]]의 수학자 및 철학자로, [[합집합]]과 [[교집합]] 기호를 발명했고 [[산술]]을 형식화했다.
* [[소박한 집합론]]
* [[공리적 집합론]]
* [[집합]]
* [[체르멜로 집합론]]은 독일의 수학자 [[에른스트 체르멜로]]가 개발한 공리계이다.
* [[체르멜로-프렝켈 집합론]]은 가장 널리 사용되는 집합론의 공리계이다.
 
== 참고 문헌 ==
* {{서적 인용 | 성=Halmos | 이름=Paul R. | 저자고리=헐모시 팔 | 제목=Naive set theory | isbn=978-0-387-90092-6| 날짜=1974 | publisher=Springer | doi=
10.1007/978-1-4757-1645-0 | issn=0172-6056|총서=Undergraduate Texts in Mathematics|zbl=0287.04001|mr=0453532 |언어고리=en}}
 
== 같이 보기 ==
* [[게오르크 칸토어]] ([[1845년]]-[[1918년]]) - [[독일]]의 [[수학자]] 및 [[철학자]]로, 집합론의 창시자로 잘 알려져 있다.
* [[주세페 페아노]] ([[1858년]]-[[1932년]]) - [[이탈리아]]의 수학자 및 철학자로, [[합집합]]과 [[교집합]] 기호를 발명했고 [[산술]]을 형식화했다.
* [[소박한 집합론]]
* [[공리적 집합론]]
* [[집합]]
* [[체르멜로 집합론]]은 독일의 수학자 [[에른스트 체르멜로]]가 개발한 공리계이다.
* [[체르멜로-프렝켈 집합론]]은 가장 널리 사용되는 집합론의 공리계이다.
 
== 바깥 고리 ==
{{수학 분야}}
{{집합론}}
{{컴퓨터 과학}}
 
[[분류:집합론| ]]

편집

7,021