목차
레비 붕괴
집합론에서, 레비 붕괴(לוי崩壞)는 강제법에서 특정한 두 기수 사이의 다른 기수들을 없애는 작용을 하는 부분 순서 집합이.
마틴 공리
집합론에서, 마틴 공리(Martin公理,, 약자 \mathsf)는 실수 집합의 크기보다 더 작은 집합들은 가산 집합과 유사한 성질을 갖는다는 명제.
강제법
집합론에서, 강제법(強制法)은 특정한 조건을 만족시키는 집합론 모형을 정의하는 방법이.
보다 강하향 반사슬와 강제법
부분 정의 함수
부분 정의 함수의 예 단사 부분 정의 함수의 예 수학에서, 부분 정의 함수(部分定義函數)는 정의역의 일부분에만 정의되는, 함수의 개념의 일반화이.
나무 (집합론)
순서론과 집합론에서, 나무()는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이.
이름 (강제법)
집합론에서, 이름()은 강제법에 등장하는, 집합의 개념의 일종의 일반화인 누적 위계이.
또한 강상향 반사슬 조건, 가산 강상향 반사슬 조건, 가산 반사슬 조건로 알려져 있다.