上限公理とデデキントの定理は同値 https://for-spring.com/analysis/continuity-6/