よく微分積分の最初にDedekind切断って習いますけど、
あれは微分積分の最初以外ではどういう応用があるのでしょうか？
ご存知の方いらっしゃればご教示下さい。