Fediver

整数全体とか有理数全体を、数を避けて切るのは簡単ね。たとえばπで切れば刃は数に当たらない

実数全体とか有理数全体、整数全体、みたいな一列に並んだ数たち全体をスパッとどこかで2つに切り分けることをデデキント切断といいます。

そうすると、実数全体を切るときはどうやっても絶対に刃が数に当たってしまうという話。逆に、刃が数をよけることができない並び集合のことを実数と定義しますってしたんですって。