>>22
そうなん？非ユークリッド幾何学が先行してるのはそうかもしれんけど、デデキント切断が非ユークリッド幾何学とどう結びつくのかよくわからんのだけど……
デデキントって幾何のことやってたんか？