14 처지: 도달 불가능한 기수, 멱집합, 누적 위계, 구조 (논리학), 폴란드, 이항관계, 절대 논리식, 전순서 집합, 정초 관계, 집합론, 체르멜로-프렝켈 집합론, 추이적 집합, 순서수, 선택 공리.
도달 불가능한 기수
집합론에서, 도달 불가능한 기수(到達不可能한基數)는 그보다 작은 기수의 덧셈·곱셈·거듭제곱으로 나타낼 수 없는 기수이.
새로운!!: 추이적 모형와 도달 불가능한 기수 · 더보기 »
멱집합
하세 도표로 표현한 \x, y, z\의 멱집합 원소들 집합론에서, 어떤 집합의 멱집합(冪集合)은 그 집합의 모든 부분 집합을 모은 집합이.
새로운!!: 추이적 모형와 멱집합 · 더보기 »
누적 위계
집합론에서, 누적 위계(累積位階)는 주어진 연산을 초한 점화식을 사용하여 초한 번 반복하여 구성되는 모임이.
새로운!!: 추이적 모형와 누적 위계 · 더보기 »
구조 (논리학)
모형 이론에서, 구조(構造)는 어떤 주어진 1차 논리 언어의 해석을 갖춘 집합이.
새로운!!: 추이적 모형와 구조 (논리학) · 더보기 »
폴란드
공화국(), 약칭 폴란드(Poland)는 중앙유럽에 있는 공화국이.
새로운!!: 추이적 모형와 폴란드 · 더보기 »
이항관계
수학에서, 이항관계(二項關係)는 순서쌍들로 이루어지는 집합이.
새로운!!: 추이적 모형와 이항관계 · 더보기 »
절대 논리식
모형 이론에서, 절대 논리식(絶對論理式)은 모든 모형에서 참인 논리식이.
새로운!!: 추이적 모형와 절대 논리식 · 더보기 »
전순서 집합
순서론에서, 전순서 집합(全順序集合)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이.
새로운!!: 추이적 모형와 전순서 집합 · 더보기 »
정초 관계
집합론에서, 정초 관계(整礎關係)는 (무한히 재귀적이지 않은) 집합의 원소 관계로서 나타낼 수 있는 이항 관계이.
새로운!!: 추이적 모형와 정초 관계 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
새로운!!: 추이적 모형와 집합론 · 더보기 »
체르멜로-프렝켈 집합론
수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.
새로운!!: 추이적 모형와 체르멜로-프렝켈 집합론 · 더보기 »
추이적 집합
집합론에서, 추이적 집합(推移的集合)은 원소의 원소를 원소로 하는 집합이.
새로운!!: 추이적 모형와 추이적 집합 · 더보기 »
순서수
\omega^\omega 이하의 순서수들의 형상화 집합론에서, 순서수(順序數)는 정렬 전순서 집합들의 "길이"를 측정하는 수의 일종이.
새로운!!: 추이적 모형와 순서수 · 더보기 »
선택 공리
선택 공리의 형상화. 선택 함수는 각 집합 S_i를 그 속의 원소 x_i\in S_i로 대응시킨다. 집합론에서, 선택 공리(選擇公理,, 약자 AC)는 공집합이 아닌 집합에서 한 원소를 고를 수 있으며, 또한 이를 무한 번 반복할 수 있다는 공리이.
새로운!!: 추이적 모형와 선택 공리 · 더보기 »