>>数学は、精密な論理の流れを記号化したもの！
これと岡潔流の数学とは相容れないような気がするのは
私だけでしょうか