19/04/11 17:47:25.98 z7DMWKzq.net
集合が明示されていれば
ここの等号も同値関係が入っていることを意味する
集合の明示がなければ日本語の等しい程度の意味しか持たず
それは数学用語ではない
左辺と右辺が等しいという意味を同値関係でない場合にまで敷衍させることも
また公理主義の弊害であろう
もちろん同値関係は公理化しても問題がない
とすると何を公理に採用しているのかも明示しなければ
全く議論ができないにもかかわらず数式のようなものを書きなぐっても
それはコンピュータ上の総当たり記述法にすぎない
そこで記述しているものは無内容であり有意な結果を得られるものしか
存在しないと考えるのならば自然数の存在性すら危ぶまれるだろう