PROOF 88
복소수는 크기를 비교할 수 없다
복소수 ℂ 위에서.
정의 D1
순서체는 체의 연산 위에 관계 < 를 가지며, 그 < 가 A1 부터 A4 까지를 모두 만족하는 수 체계다.
증명.
관련 실험실