>>988
意味不明…

つーか。そもそも、デテキントの切断を認めるんだったら、それと「単調増加数列はその上限に収束する」ってのと
は同値だから、自然に1=0.99…だろ。だから、1=0.99…を認めないんだったら、当然デテキントを認めるわ
けにはいかんわなw