18 처지: 러셀의 역설, 멱집합, 모임 (수학), 가산 집합, 게오르크 칸토어, 누적 위계, 구간, 전단사 함수, 전사 함수, 증명, 집합론, 집합의 크기, 칸토어 역설, 칸토어의 정리, 상 (수학), 연속체 가설, 함수, 실수.
러셀의 역설
셀의 역설(-逆說, Russell's paradox)은 수학자 버트런드 러셀이 1901년 발견한 논리적 역설로 프레게의 논리체계와 칸토어의 소박한 집합론이 모순을 지닌다는 것을 보여준 예이.
새로운!!: 대각선 논법와 러셀의 역설 · 더보기 »
멱집합
하세 도표로 표현한 \x, y, z\의 멱집합 원소들 집합론에서, 어떤 집합의 멱집합(冪集合)은 그 집합의 모든 부분 집합을 모은 집합이.
새로운!!: 대각선 논법와 멱집합 · 더보기 »
모임 (수학)
집합론에서, 모임()은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이.
새로운!!: 대각선 논법와 모임 (수학) · 더보기 »
가산 집합
산 집합(可算集合, countable set)은 자연수의 집합으로의 단사 함수가 존재하는 집합을 말. 즉 집합의 원소들이 가산(덧셈과 뺄셈)이 가능함을 말. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이.
새로운!!: 대각선 논법와 가산 집합 · 더보기 »
게오르크 칸토어
오르크 페르디난트 루트비히 필리프 칸토어(1845년 3월 3일~1918년 1월 6일)는 러시아에서 태어난 독일의 수학자이.
새로운!!: 대각선 논법와 게오르크 칸토어 · 더보기 »
누적 위계
집합론에서, 누적 위계(累積位階)는 주어진 연산을 초한 점화식을 사용하여 초한 번 반복하여 구성되는 모임이.
새로운!!: 대각선 논법와 누적 위계 · 더보기 »
구간
수학에서, 구간(區間)은 주어진 두 실수 (또는 무한대) 사이의 모든 실수의 집합이.
새로운!!: 대각선 논법와 구간 · 더보기 »
전단사 함수
전단사 함수의 예 수학에서, 전단사 함수(全單射函數,, bijective function)는 두 집합 사이를 중복 없이 모두 일대일로 대응시키는 함수이.
새로운!!: 대각선 논법와 전단사 함수 · 더보기 »
전사 함수
전사 함수의 예 수학에서, 전사 함수(全射函數) 또는 위로의 함수()는 공역과 치역이 같은 함수이.
새로운!!: 대각선 논법와 전사 함수 · 더보기 »
증명
증명의 다른 뜻은 다음과 같.
새로운!!: 대각선 논법와 증명 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
새로운!!: 대각선 논법와 집합론 · 더보기 »
집합의 크기
집합론에서, 집합의 크기() 또는 농도(濃度)는 집합의 "원소 개수"에 대한 척도이.
새로운!!: 대각선 논법와 집합의 크기 · 더보기 »
칸토어 역설
집합론에서, 칸토어 역설()은 소박한 집합론의 역설의 하나이며, 모든 집합들의 모임이 집합을 이룰 수 없다는 것을 보인.
새로운!!: 대각선 논법와 칸토어 역설 · 더보기 »
칸토어의 정리
집합론에서, 칸토어의 정리()는 멱집합의 크기가 항상 원래의 집합의 크기보다 크다는 정리이.
새로운!!: 대각선 논법와 칸토어의 정리 · 더보기 »
상 (수학)
수학에서, 상(像)은 어떤 함수에 대한 정의역의 원소(들)에 대응하는 공역의 원소(들)이.
새로운!!: 대각선 논법와 상 (수학) · 더보기 »
연속체 가설
집합론에서, 연속체 가설(連續體假說,, 약자 CH)은 실수 집합의 모든 부분 집합은 가산 집합이거나 아니면 실수 집합과 크기가 같다는 명제이.
새로운!!: 대각선 논법와 연속체 가설 · 더보기 »
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
새로운!!: 대각선 논법와 함수 · 더보기 »
실수
실수을 수직선으로 나타낸 것 수학에서, 실수(實數)는 주로 실직선 위의 점 또는 십진법 전개로 표현되는 수 체계이.
새로운!!: 대각선 논법와 실수 · 더보기 »