PROOF 189

증명하라.

확장할 때마다 무엇을 잃는가

각 수 체계 위에서.

정리 T1

ℕ → ℤ 에서 정렬 원리를 잃는다. ℤ 는 최소 원소를 갖지 않는다.

증명.

관련 실험실