Google Play 스토어에서 Unionpedia 앱을 복원하기 위해 작업 중입니다
나가는들어오는
🌟더 나은 탐색을 위해 디자인을 단순화했습니다!
Instagram Facebook X LinkedIn

무모순적 이론

색인 무모순적 이론

수리논리학에서, 무모순적 이론(無矛盾的理論)은 거짓을 추론할 수 없는 이론이.

목차

  1. 7 처지: 로버트 솔로베이, 가측 기수, 보편 완비 가측 공간, 나무 (집합론), 평행선 공준, 체르멜로-프렝켈 집합론, 연속체 가설.

로버트 솔로베이

버트 마틴 솔로베이(1938–)는 미국의 수학자이.

보다 무모순적 이론와 로버트 솔로베이

가측 기수

집합론에서, 가측 기수(可測基數)는 기본 매장으로 정의될 수 있는 기수이.

보다 무모순적 이론와 가측 기수

보편 완비 가측 공간

측도론에서, 가측 공간 위의 보편 완비 가측 공간(普遍完備可測空間)은 모든 시그마 유한 완비화에 대하여 가측 집합이 되는 부분 집합들만을 가측 집합으로 삼는 가측 공간이.

보다 무모순적 이론와 보편 완비 가측 공간

나무 (집합론)

순서론과 집합론에서, 나무()는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이.

보다 무모순적 이론와 나무 (집합론)

평행선 공준

만약 α + β 기하학에서, 평행선 공준(平行線公準)은 원론에 등장하는 다섯 개의 공준 중 마지막으로, 내용은 다음과 같. 두 직선이 다른 한 직선과 만나 이루는 두 동측내각의 합이 두 직각보다 작다면, 이 두 직선을 무한히 연장할 때, 그 두 동측내각과 같은 쪽에서 만.

보다 무모순적 이론와 평행선 공준

체르멜로-프렝켈 집합론

수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.

보다 무모순적 이론와 체르멜로-프렝켈 집합론

연속체 가설

집합론에서, 연속체 가설(連續體假說,, 약자 CH)은 실수 집합의 모든 부분 집합은 가산 집합이거나 아니면 실수 집합과 크기가 같다는 명제이.

보다 무모순적 이론와 연속체 가설

또한 무모순적, 등무모순적로 알려져 있다.