＞というかなんでこんな話しになってきたのか
＞わからないです。もともと興味もない話しでして。
証明のチェックの話をしているときに>>500や>>504に対して
数学を記号によって形式化など出来るわけが無いと君が反論したからです。

＞ただ形式化したといわれても「はぁー、そうですか」という
＞感じしか抱けないのです｡
いや、証明のチェックの話をしてるときに、
レスの本質的でない部分にあなたが食いついてきたんですけど。

＞無理数にしても、長い間「有理数でない」
＞という定義をされてきたことをおわすれなく。
なんか別の定義ってありましたっけ？
nx-[nx]の分布を調べるとか？
そんな変ちくりんな書き方してる本聞いたこと無いアルヨ？