>>13
「形式主義
　形式主義はヒルベルトが唱えた立場とされています。」
どういう主張か書かれてないけど、要するに論証を記号処理として扱い
数学理論の無矛盾性を記号処理レベルで証明することで
数学を正当化しようとする試み