>>214
数学的帰納法の成否についての疑問とかあるでしょうが
というか、デデキント切断が今何の関係があるの