11 처지: 모임 (수학), 계승적 집합, 구조 (논리학), 구성 가능 전체, 큰 기수, 집합론, 체르멜로-프렝켈 집합론, 쿠르트 괴델, 순서수, 선택 공리, 1차 논리.
모임 (수학)
집합론에서, 모임()은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이.
새로운!!: 순서수 정의 가능 집합와 모임 (수학) · 더보기 »
계승적 집합
집합론에서, 어떤 모임 X에 대한 X-계승적 집합(繼承的集合)은 X에 속하며, 그 모든 원소도 X에 속하며, 그 원소의 원소 등등 역시 X에 속하는 집합이.
새로운!!: 순서수 정의 가능 집합와 계승적 집합 · 더보기 »
구조 (논리학)
모형 이론에서, 구조(構造)는 어떤 주어진 1차 논리 언어의 해석을 갖춘 집합이.
새로운!!: 순서수 정의 가능 집합와 구조 (논리학) · 더보기 »
구성 가능 전체
집합론에서, 구성 가능 전체(構成可能全體)는 재귀적으로 1차 논리로 정의 가능한 집합들로 구성된 모임이.
새로운!!: 순서수 정의 가능 집합와 구성 가능 전체 · 더보기 »
큰 기수
집합론에서, 큰 기수(큰基數)는 집합론의 표준적인 공리계(선택 공리를 추가한 체르멜로-프렝켈 집합론)로는 그 존재를 증명할 수 없는 매우 큰 기수이.
새로운!!: 순서수 정의 가능 집합와 큰 기수 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
새로운!!: 순서수 정의 가능 집합와 집합론 · 더보기 »
체르멜로-프렝켈 집합론
수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.
새로운!!: 순서수 정의 가능 집합와 체르멜로-프렝켈 집합론 · 더보기 »
쿠르트 괴델
르트 괴델(1906년 4월 28일 ~ 1978년 1월 14일)은 불완전성의 정리로 유명한 수학자이자 논리학자이.
새로운!!: 순서수 정의 가능 집합와 쿠르트 괴델 · 더보기 »
순서수
\omega^\omega 이하의 순서수들의 형상화 집합론에서, 순서수(順序數)는 정렬 전순서 집합들의 "길이"를 측정하는 수의 일종이.
새로운!!: 순서수 정의 가능 집합와 순서수 · 더보기 »
선택 공리
선택 공리의 형상화. 선택 함수는 각 집합 S_i를 그 속의 원소 x_i\in S_i로 대응시킨다. 집합론에서, 선택 공리(選擇公理,, 약자 AC)는 공집합이 아닌 집합에서 한 원소를 고를 수 있으며, 또한 이를 무한 번 반복할 수 있다는 공리이.
새로운!!: 순서수 정의 가능 집합와 선택 공리 · 더보기 »
1차 논리
1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.
새로운!!: 순서수 정의 가능 집합와 1차 논리 · 더보기 »