19/09/15 12:03:58.82 IzOPqE/a.net
0.999...:=lim[n→∞](1-(1/10)^n) という定義を認めるか？
右辺=1 を認めるか？
ってだけのことだけど、
安達君はそもそも無限集合を認めない立場だから、ZF公理系を前提とする我々とは会話が噛み合わないよ。
安達君が数学板に来るのがそもそもの間違い。
19/09/15 12:03:58.82 IzOPqE/a.net
0.999...:=lim[n→∞](1-(1/10)^n) という定義を認めるか？
右辺=1 を認めるか？
ってだけのことだけど、
安達君はそもそも無限集合を認めない立場だから、ZF公理系を前提とする我々とは会話が噛み合わないよ。
安達君が数学板に来るのがそもそもの間違い。