デデキント切断をざっくり説明すると,有理数のみの数直線を2つに切断して,その「切り口」を新たに数と思うことで,実数を定義しようというものです···