今ある数学を新しい記号で表すってことじゃなくて、新しい記号を導入することで新しい数学ができるって話なんだが。

計算だったら日常生活で使う計算よりもはるかに複雑な計算を数学ではしているけれども。
論理学の世界っていうのは、日常で使っている論理より狭い世界しか扱っていないわけ。
これを広げていこうと考えるのは当然だと思うんだが。