Well-Ordering Principle

Well-Ordering Principle

Well-Ordering Principle. Let $\emptyset \neq S \subseteq \mathbb{N} \cup \{0\}$. Then $S$ is well-ordered, that is, $\exists a \in S$ such that $a \leq b, \forall b \in S$.

정렬 원리라고도 하며, 집합 내에서 최소 원소의 존재성을 보장해준다. 선택 공리와 동치이므로 ZFC 공리계에서 문제없이 받아들일 수 있다.