＞文字操作として表した形式化が正しいか
そこは問題にしない、というのが形式主義だろ？

君がその考えは取りたくないというのは勝手だよ

しかし、それだとどこにも客観性はないが。別に
そういう立場はありだ、と思うよ。でも、それは
貴方の考えで。いろんな考え方があるの。

形式主義の考え方ならこうなるよ、って言ってる。
で、中村の完全証明っていうのは、そう言う話だ。
それに価値があるか、どうかは人それぞれの価値
観だ。俺も「ジョルダンの曲線定理の形式証明」
自体にそんなに価値がある、とは思ってないけど。
これは俺の個人的価値観だから。