>>70
＞＞　=符号を使える理由
＞矛盾がないし、今までの等号と同等に使えるし、 >>68の問題も解決するし、良いコトだらけだから。
パッと見どう見ても矛盾がある（いかなるεに対しても|x-a|>0、lim[x→a]f(x)>f(a)）んですが…

＞「正しい」というのはどういうこと？何を意味しているの？
lim[x→a]f(x)=b
と
∀ε>0、∃δ>0　s.t. ∀x∈R、0<|x-a|<δ→|f(x)-b|<ε
が同値であると数学的に証明できること、というつもりでしたが

＞正解を言うと、数学では「無矛盾であること」を指している。
＞数学的にそのように言い返しても矛盾は発生しないし、しかも、今までの「普通」の数の世界に問題を起こすような
＞モノではなかった。だから、その定義を使用したわけだ。
こういう事なかれ主義だと後で矛盾が見つかったときに困ると思うんですが…
こんな帰納的な定義じゃなくて演繹的な変形で示せないんですか？物理じゃあるまいし