PROOF 10
확장은 무엇을 지킬지가 정한다
각 수 체계 위에서.
정의 D1
순서체는 A1~A8 을 만족하고, 그 위에 A11~A14 를 만족하는 관계 < 를 가진 수 체계다.
증명.
관련 실험실