>>109
まあ数学の形式化と数学を書くという行為と数学をすると言うことは区別しておきたいね。
数学が形式化できるという信念は確からしいとは思うが所詮は信念に過ぎないのも確か。