>>369
>現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、早急に作らなければいけないんじゃないか
加藤文元さんはそれなしに理解できたんではないの？
あるいは自分で考えてそれを理解したのではないの？
ならば加藤文元さんがその作業をやっても良いのでは
査読者でも数理研の界隈の他の誰でもいいけれど