>>219
>１．定理の客観性を確保するために、形式体系内で証明を行う

これ普通に数学者がやってることなんじゃないの？　ただ記号論理でやらないだけで。