브라우저보다 빠른!
39 처지: 도달 불가능한 기수, 르베그 측도, 멱집합, 메나헴 마기도르, 모임 (수학), 가나모리 아키히로, 불 대수, 부분집합, 대수학, 누적 위계, 교집합, 구조 (논리학), 구성 가능 전체, 나무 (집합론), 자유 아벨 군, 큰 기수, 정렬 원순서 집합, 정상 집합, 집합, 집합론, 체르멜로-프렝켈 집합론, 추이적 모형, 추이적 집합, 쿠르트 괴델, 유한 집합, 생성 집합, 술어, 순서수, 순서수 정의 가능 집합, 수리철학, 여집합, 연속체 가설, 플라톤주의, 선택 공리, 합집합, 해석적 집합, 아즈리엘 레비, 화이트헤드 문제, 1차 논리.
도달 불가능한 기수
집합론에서, 도달 불가능한 기수(到達不可能한基數)는 그보다 작은 기수의 덧셈·곱셈·거듭제곱으로 나타낼 수 없는 기수이.
새로운!!: 구성 가능 전체와 도달 불가능한 기수 · 더보기 »
르베그 측도
측도론에서, 르베그 측도()는 유클리드 공간의 부분 집합에 길이, 넓이 또는 부피를 할당하는 방법이.
새로운!!: 구성 가능 전체와 르베그 측도 · 더보기 »
멱집합
하세 도표로 표현한 \x, y, z\의 멱집합 원소들 집합론에서, 어떤 집합의 멱집합(冪集合)은 그 집합의 모든 부분 집합을 모은 집합이.
새로운!!: 구성 가능 전체와 멱집합 · 더보기 »
메나헴 마기도르
메나헴 마기도르(1946~)는 이스라엘의 수학자이.
새로운!!: 구성 가능 전체와 메나헴 마기도르 · 더보기 »
모임 (수학)
집합론에서, 모임()은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이.
새로운!!: 구성 가능 전체와 모임 (수학) · 더보기 »
가나모리 아키히로
모리 아키히로(1948~)는 일본 태생의 수학자이.
새로운!!: 구성 가능 전체와 가나모리 아키히로 · 더보기 »
불 대수
순서론과 추상대수학, 논리학에서, 불 대수(Boole代數)는 고전 명제 논리의 명제의 격자와 같은 성질을 갖는 격자이.
새로운!!: 구성 가능 전체와 불 대수 · 더보기 »
부분집합
부분집합 관계를 표현한 벤 다이어그램. ''A''는 ''B''의 부분집합이다. 집합론에서 집합 B의 부분집합(部分集合) A는, 모든 원소가 B에도 속하는 집합이.
새로운!!: 구성 가능 전체와 부분집합 · 더보기 »
대수학
수학(代數學, 독일어,영어: Algebra)은 일련의 공리들을 만족하는 수학적 구조들의 일반적인 성질을 연구하는 수학의 한 분야이.
새로운!!: 구성 가능 전체와 대수학 · 더보기 »
누적 위계
집합론에서, 누적 위계(累積位階)는 주어진 연산을 초한 점화식을 사용하여 초한 번 반복하여 구성되는 모임이.
새로운!!: 구성 가능 전체와 누적 위계 · 더보기 »
교집합
집합 ''A''와 ''B''의 교집합을 표현한 벤 다이어그램. 집합론에서, 두 집합 A와 B의 교집합(交集合) A ∩ B는 그 두 집합이 공통으로 포함하는 원소로 이루어진 집합이.
새로운!!: 구성 가능 전체와 교집합 · 더보기 »
구조 (논리학)
모형 이론에서, 구조(構造)는 어떤 주어진 1차 논리 언어의 해석을 갖춘 집합이.
새로운!!: 구성 가능 전체와 구조 (논리학) · 더보기 »
구성 가능 전체
집합론에서, 구성 가능 전체(構成可能全體)는 재귀적으로 1차 논리로 정의 가능한 집합들로 구성된 모임이.
새로운!!: 구성 가능 전체와 구성 가능 전체 · 더보기 »
나무 (집합론)
순서론과 집합론에서, 나무()는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이.
새로운!!: 구성 가능 전체와 나무 (집합론) · 더보기 »
자유 아벨 군
에서, 자유 아벨 군(自由Abel群)은 원소들이 가환성 밖의 아무런 추가 항등식을 만족시키지 않는 아벨 군이.
새로운!!: 구성 가능 전체와 자유 아벨 군 · 더보기 »
큰 기수
집합론에서, 큰 기수(큰基數)는 집합론의 표준적인 공리계(선택 공리를 추가한 체르멜로-프렝켈 집합론)로는 그 존재를 증명할 수 없는 매우 큰 기수이.
새로운!!: 구성 가능 전체와 큰 기수 · 더보기 »
정렬 원순서 집합
순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.
새로운!!: 구성 가능 전체와 정렬 원순서 집합 · 더보기 »
정상 집합
집합론에서, 클럽 집합(club集合)은 주어진 순서수보다 작은 순서수들 가운데 "거의 대부분"을 포함하는 집합이며, 정상 집합(定常集合)은 주어진 순서수보다 작은 순서수들 가운데 "충분한 수"를 포함하여, 임의의 클럽 집합과 하나 이상의 원소를 공유하는 집합이.
새로운!!: 구성 가능 전체와 정상 집합 · 더보기 »
집합
9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.
새로운!!: 구성 가능 전체와 집합 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
새로운!!: 구성 가능 전체와 집합론 · 더보기 »
체르멜로-프렝켈 집합론
수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.
새로운!!: 구성 가능 전체와 체르멜로-프렝켈 집합론 · 더보기 »
추이적 모형
집합론에서, 추이적 모형(推移的模型)은 내부적 포함 관계가 외부적 포함 관계와 같은, 추이적 집합 위에 정의된 집합론 모형이.
새로운!!: 구성 가능 전체와 추이적 모형 · 더보기 »
추이적 집합
집합론에서, 추이적 집합(推移的集合)은 원소의 원소를 원소로 하는 집합이.
새로운!!: 구성 가능 전체와 추이적 집합 · 더보기 »
쿠르트 괴델
르트 괴델(1906년 4월 28일 ~ 1978년 1월 14일)은 불완전성의 정리로 유명한 수학자이자 논리학자이.
새로운!!: 구성 가능 전체와 쿠르트 괴델 · 더보기 »
유한 집합
수학에서, 유한 집합(有限集合)이란 집합의 원소의 개수가 한정되어 원소의 개수가 무한개가 아닌 집합을 의미.
새로운!!: 구성 가능 전체와 유한 집합 · 더보기 »
생성 집합
범주론에서, 생성 집합(生成集合,, separating set)은 그 원소들의 쌍대곱의 몫 대상으로 모든 대상을 나타낼 수 있는, 범주 속의 대상 집합이.
새로운!!: 구성 가능 전체와 생성 집합 · 더보기 »
술어
술어(述語) 혹은 명제(predicate)는 다음을 가리.
새로운!!: 구성 가능 전체와 술어 · 더보기 »
순서수
\omega^\omega 이하의 순서수들의 형상화 집합론에서, 순서수(順序數)는 정렬 전순서 집합들의 "길이"를 측정하는 수의 일종이.
새로운!!: 구성 가능 전체와 순서수 · 더보기 »
순서수 정의 가능 집합
집합론에서, 순서수 정의 가능 집합(順序數定義可能集合)은 유한 개의 순서수를 포함하는 1차 논리 공식으로 정의할 수 있는 집합이.
새로운!!: 구성 가능 전체와 순서수 정의 가능 집합 · 더보기 »
수리철학
수리철학(數理哲學)은 수학에 대한 철학이.
새로운!!: 구성 가능 전체와 수리철학 · 더보기 »
여집합
집합론에서, 집합 A의 여집합(餘集合, 또는 보집합(補集合), complement set) AC는, 전체집합 U의 원소 중 A의 원소가 아닌 것들의 집합이.
새로운!!: 구성 가능 전체와 여집합 · 더보기 »
연속체 가설
집합론에서, 연속체 가설(連續體假說,, 약자 CH)은 실수 집합의 모든 부분 집합은 가산 집합이거나 아니면 실수 집합과 크기가 같다는 명제이.
새로운!!: 구성 가능 전체와 연속체 가설 · 더보기 »
플라톤주의
주의(Platonism)는 다른 말로는 플라톤 철학(Platonic philosophy) 또는 플라톤 철학 전통이.
새로운!!: 구성 가능 전체와 플라톤주의 · 더보기 »
선택 공리
선택 공리의 형상화. 선택 함수는 각 집합 S_i를 그 속의 원소 x_i\in S_i로 대응시킨다. 집합론에서, 선택 공리(選擇公理,, 약자 AC)는 공집합이 아닌 집합에서 한 원소를 고를 수 있으며, 또한 이를 무한 번 반복할 수 있다는 공리이.
새로운!!: 구성 가능 전체와 선택 공리 · 더보기 »
합집합
''A'' ∪ ''B''는 두 원을 합쳐 만든 큰 모양이다. 집합론에서 둘 또는 더 많은 집합의 합집합(合集合)은 그들의 모든 원소를 한 군데 합쳐놓은 집합이.
새로운!!: 구성 가능 전체와 합집합 · 더보기 »
해석적 집합
집합론과 일반위상수학에서, 해석적 집합(解析的集合)은 폴란드 공간의 연속적 상인 폴란드 공간 부분 공간이.
새로운!!: 구성 가능 전체와 해석적 집합 · 더보기 »
아즈리엘 레비
아즈리엘 레비()는 이스라엘의 수학자이.
새로운!!: 구성 가능 전체와 아즈리엘 레비 · 더보기 »
화이트헤드 문제
집합론에서, 화이트헤드 문제()는 정수 계수의 1차 Ext 함자가 자명군인 아벨 군이 항상 자유 아벨 군인지에 대한 문제.
새로운!!: 구성 가능 전체와 화이트헤드 문제 · 더보기 »
1차 논리
1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.
새로운!!: 구성 가능 전체와 1차 논리 · 더보기 »
여기로 리디렉션합니다
구성 가능성 공리, 구성가능성 공리, 구성가능한 전체, 정의 가능 멱집합, 폰 노이만 우주.
