>>725
最後の段落はなっとく。
ロジックは数学の文法学者であって、数学者ではない。
数学の言葉で知的物語を表現する数学者とは別物。
駒や盤の作者と、棋士との違い。

そして数学の文法は数学者が作りあげる。
文法学者は文法を観察するが、創造はしない。