デデキントは集合論も位相空間論も未整備の状況でデデキント切断を考えたから偉大なので、大学一年生にそれを追体験させる必要はない。