2015년 7월 7일 (화) 06:26 판 편집 Osteologia (토론 \| 기여) 점검 면제자, 장기인증된 사용자 39,111 편집 편집 요약 없음 ← 이전 편집		2015년 7월 12일 (일) 00:41 판 편집 편집 취소 Hohaen1 (토론 \| 기여) 7,021 편집 편집 요약 없음 다음 편집 →
24번째 줄: 이를 피하기 위해 여러 방법이 사용되는데, 크게 세 가지로 구분된다. 하나는 분리공리만을 허용하는 것이고, 또 하나는 변수의 타입을 집합과 유로 구분하는 것이고, 또 하나는 사용할 수 있는 논리 공식에 제한을 두는 것이다. == 같이 보기 ==▼ * [[게오르크 칸토어]] ([[1845년]]-[[1918년]]) - [[독일]]의 [[수학자]] 및 [[철학자]]로, 집합론의 창시자로 잘 알려져 있다.▼ * [[주세페 페아노]] ([[1858년]]-[[1932년]]) - [[이탈리아]]의 수학자 및 철학자로, [[합집합]]과 [[교집합]] 기호를 발명했고 [[산술]]을 형식화했다.▼ * [[소박한 집합론]]▼ * [[공리적 집합론]]▼ * [[집합]]▼ * [[체르멜로 집합론]]은 독일의 수학자 [[에른스트 체르멜로]]가 개발한 공리계이다.▼ * [[체르멜로-프렝켈 집합론]]은 가장 널리 사용되는 집합론의 공리계이다.▼ == 참고 문헌 == 줄 42 ⟶ 51: * {{서적 인용 \| 성=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년]]) - [[이탈리아]]의 수학자 및 철학자로, [[합집합]]과 [[교집합]] 기호를 발명했고 [[산술]]을 형식화했다. ▲* [[소박한 집합론]] ▲* [[공리적 집합론]] ▲* [[집합]] ▲* [[체르멜로 집합론]]은 독일의 수학자 [[에른스트 체르멜로]]가 개발한 공리계이다. ▲* [[체르멜로-프렝켈 집합론]]은 가장 널리 사용되는 집합론의 공리계이다. == 바깥 고리 == 61번째 줄: {{수학 분야}} {{집합론}} {{컴퓨터 과학}} [[분류:집합론\| ]]

집합론: 두 판 사이의 차이