実数って？デデキントの切断？ https://for-spring.com/analysis/continuity-100/