上限公理？デデキントの切断との関係は？ https://for-spring.com/analysis/continuity-200/