>>746
要するに、数学の形式主義の考え方で、数学とは意味を越えた、定義と演算規則のかたまりみたいな扱いの話?

仮にそうだとしたら、そんなもん小学生に使えるわけもなし。