＞形式的証明に関して研究している人
＞しかレスするな、と言ってるのかな？

形式的証明に関して研究している人が
形式的証明の意義を議論するにふさわしい
とは限らないな。

数学を研究している人が
数学の意義を議論するに
ふさわしいわけではないように。