심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
비어 있는
브라우저보다 빠른!
 

집합론

색인 집합론

집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.

27 처지: 러셀의 역설, 독일, 무정의 용어, 게오르크 칸토어, 공리, 교집합, 이탈리아, 점 (기하학), 주세페 페아노, 직선, 집합, 집합론, 철학자, 체르멜로-프렝켈 집합론, 유클리드 기하학, 술어 논리, 수학, 수학기초론, 수학자, 에른스트 체르멜로, 산술, 소박한 집합론, 합집합, 1845년, 1858년, 1918년, 1932년.

러셀의 역설

셀의 역설(-逆說, Russell's paradox)은 수학자 버트런드 러셀이 1901년 발견한 논리적 역설로 프레게의 논리체계와 칸토어의 소박한 집합론이 모순을 지닌다는 것을 보여준 예이.

새로운!!: 집합론와 러셀의 역설 · 더보기 »

독일

독일 연방공화국(), 줄여서 독일()은 중앙유럽에 있는 나라이.

새로운!!: 집합론와 독일 · 더보기 »

무정의 용어

무정의 용어 또는 근본 원리(Primitive notion)는 정의 없이 사용하는 용어이.

새로운!!: 집합론와 무정의 용어 · 더보기 »

게오르크 칸토어

오르크 페르디난트 루트비히 필리프 칸토어(1845년 3월 3일~1918년 1월 6일)는 러시아에서 태어난 독일의 수학자이.

새로운!!: 집합론와 게오르크 칸토어 · 더보기 »

공리

공리(公理)는 어떤 이론체계에서 가장 기초적인 근거가 되는 명제(命題)이.

새로운!!: 집합론와 공리 · 더보기 »

교집합

집합 ''A''와 ''B''의 교집합을 표현한 벤 다이어그램. 집합론에서, 두 집합 A와 B의 교집합(交集合) A ∩ B는 그 두 집합이 공통으로 포함하는 원소로 이루어진 집합이.

새로운!!: 집합론와 교집합 · 더보기 »

이탈리아

이탈리아 공화국(음역어: 이태리(伊太利))은 남유럽의 이탈리아 반도와 지중해의 두 섬 시칠리아 및 사르데냐로 이루어진 단일 의회 공화국이.

새로운!!: 집합론와 이탈리아 · 더보기 »

점 (기하학)

right 점(點)은 크기가 없고 위치만 있는 도형을 말. 점은 유한직선(有限直線)의 일단(一端)이며, 선의 교차에 의하여 생. 점은 선, 면, 도형등의.

새로운!!: 집합론와 점 (기하학) · 더보기 »

주세페 페아노

주세페 페아노(1858년 8월 27일 ~ 1932년 4월 20일)는 이탈리아의 수학자이자 철학자이.

새로운!!: 집합론와 주세페 페아노 · 더보기 »

직선

직교 좌표 평면 위의 직선(일차 함수)의 예. 빨간 직선과 파란 직선은 기울기가 같고, 빨간 직선과 초록 직선은 ''y''절편이 같다. 기하학에서, 직선(直線)은 곧게 뻗은 선을 추상화한 개념이.

새로운!!: 집합론와 직선 · 더보기 »

집합

9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.

새로운!!: 집합론와 집합 · 더보기 »

집합론

집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.

새로운!!: 집합론와 집합론 · 더보기 »

철학자

학.

새로운!!: 집합론와 철학자 · 더보기 »

체르멜로-프렝켈 집합론

수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.

새로운!!: 집합론와 체르멜로-프렝켈 집합론 · 더보기 »

유클리드 기하학

리스의 수학자가 컴퍼스로 작도를 하고 있는 모습. (라파엘로의 ‘아테네 학당’ 일부) 유클리드 기하학(-幾何學, Euclidean geometry)은 고대 그리스의 수학자 에우클레이데스가 구축한 수학 체계로 《원론》은 기하학에 관한 최초의 체계적인 논의로 알려져 있. 유클리드의 방법은 직관적으로 받아들일 수 있는 공리를 참으로 간주.

새로운!!: 집합론와 유클리드 기하학 · 더보기 »

술어 논리

술어 논리(述語論理) 또는 함수 논리(函數論理) 또는 양화 논리(量化論理)는 명제에 '주어'와 '술어'의 구조가 존재하고, '주어'가 될 수 있는 대상에 대한 한정 기호를 사용할 수 있는 논리이.

새로운!!: 집합론와 술어 논리 · 더보기 »

수학

수학(數學)은 양, 구조, 공간, 변화 등의 개념을 다루는 학문이.

새로운!!: 집합론와 수학 · 더보기 »

수학기초론

수학기초론(Foundations of mathematics)은 수학의 분야들 중 수리논리학과 공리적 집합론, 모형 이론, 증명 이론 및 계산 가능성 이론 등을 가리키는 말이.

새로운!!: 집합론와 수학기초론 · 더보기 »

수학자

레온하르트 오일러는 유명한 수학자들 중 한 명이다. 수학자(數學者)는 수학을 주로 연구하고, 발전시켜 나가는 사람을 말. 수학자는 수학적 지식을 증진시키기 위한 연구 업무를 수행하며, 생명과학, 물리학, 사회학, 보험학 및 공학 분야의 문제를 해결하기 위해서 기술을 개발•응용하는데 관련된 수학적 업무를 수행.

새로운!!: 집합론와 수학자 · 더보기 »

에른스트 체르멜로

에른스트 프리드리히 페르디난트 체르멜로(1871년 7월 27일 ~ 1953년 5월 21일)는 독일 수학자이며 철학자이.

새로운!!: 집합론와 에른스트 체르멜로 · 더보기 »

산술

산술(算術, arithmetic)은 수학의 가장 역사 깊은 분야로, 수의 개념이나 수에 대하여 간단한 계산을 하는 방법, 그 성질이나 계산의 법칙 등의 이론적인 방법을 다루는 학문이.

새로운!!: 집합론와 산술 · 더보기 »

소박한 집합론

소박한 집합론은 수학기초론의 여러 집합에 관련된 이론 중 하나이.

새로운!!: 집합론와 소박한 집합론 · 더보기 »

합집합

''A'' ∪ ''B''는 두 원을 합쳐 만든 큰 모양이다. 집합론에서 둘 또는 더 많은 집합의 합집합(合集合)은 그들의 모든 원소를 한 군데 합쳐놓은 집합이.

새로운!!: 집합론와 합집합 · 더보기 »

1845년

1845년은 수요일로 시작하는 평년이.

새로운!!: 집합론와 1845년 · 더보기 »

1858년

1858년은 금요일로 시작하는 평년이.

새로운!!: 집합론와 1858년 · 더보기 »

1918년

1918년은 화요일로 시작하는 평년이.

새로운!!: 집합론와 1918년 · 더보기 »

1932년

1932년은 금요일로 시작하는 윤년이.

새로운!!: 집합론와 1932년 · 더보기 »

여기로 리디렉션합니다

공리적 집합론.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »