목차
17 처지: 도달 불가능한 기수, 동치, 무한 논리, 강콤팩트 기수, 기수 (수학), 구조 (논리학), 논리합, 큰 기수, 전순서 집합, 정렬 원순서 집합, 정상 집합, 집합론, 추이적 집합, 콤팩트성 정리, 예루살렘, 에르되시 팔, 알프레트 타르스키.
- 큰 기수
도달 불가능한 기수
집합론에서, 도달 불가능한 기수(到達不可能한基數)는 그보다 작은 기수의 덧셈·곱셈·거듭제곱으로 나타낼 수 없는 기수이.
동치
수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.
보다 약콤팩트 기수와 동치
무한 논리
수리논리학에서, 무한 논리(無限論理)는 무한한 논리합·논리곱·전칭 기호·존재 기호를 나타낼 수 있는 논리 체계이며, 유한 1차 논리를 일반화.
강콤팩트 기수
집합론에서, 강콤팩트 기수(強compact基數)는 티호노프 정리와 유사한 성질을 만족시키는 무한 기수이.
기수 (수학)
ℵ0은 가장 작은 무한 기수이다. 수학에서, 기수(基數)는 집합의 크기를 나타내는 수이.
구조 (논리학)
모형 이론에서, 구조(構造)는 어떤 주어진 1차 논리 언어의 해석을 갖춘 집합이.
논리합
리합(logical sum, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이.
보다 약콤팩트 기수와 논리합
큰 기수
집합론에서, 큰 기수(큰基數)는 집합론의 표준적인 공리계(선택 공리를 추가한 체르멜로-프렝켈 집합론)로는 그 존재를 증명할 수 없는 매우 큰 기수이.
전순서 집합
순서론에서, 전순서 집합(全順序集合)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이.
정렬 원순서 집합
순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.
정상 집합
집합론에서, 클럽 집합(club集合)은 주어진 순서수보다 작은 순서수들 가운데 "거의 대부분"을 포함하는 집합이며, 정상 집합(定常集合)은 주어진 순서수보다 작은 순서수들 가운데 "충분한 수"를 포함하여, 임의의 클럽 집합과 하나 이상의 원소를 공유하는 집합이.
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
보다 약콤팩트 기수와 집합론
추이적 집합
집합론에서, 추이적 집합(推移的集合)은 원소의 원소를 원소로 하는 집합이.
콤팩트성 정리
수리논리학에서 콤팩트성 정리(compact性定理)는 만약 어떤 1차 논리 이론의 모든 유한 집합이 만족 가능하다면, 이론 전체가 만족 가능하다는 정리.
예루살렘
Dome In Jerusalem, The Capital City Of State Of Palestine Dome in Jerusalem The Capital City Of Palestine PALESTINE POUND 예루살렘()은 예로부터 종교 분쟁에서 불씨가 되어온 중동에 있는 도시.
에르되시 팔
에르되시 팔((책 '우리 수학자 모두는 약간 미친 겁니다'에선 폴 에어디쉬라고 발음하기도 했다.), 1913년 3월 26일~1996년 9월 20일)은 헝가리의 수학자이.
알프레트 타르스키
알프레트 타르스키(1901년 1월 14일 ~ 1983년 10월 26일)는 폴란드의 논리학자·수학자·철학자이.