1.ここまでの歩みを振り返る。 元々の課題は、経験的命題の使用と異なる、文法的命題使用の特徴について解明することであった。そこで、『数学の基礎』に繰り返し登場する、ある命題使用の形式に着目した。 使用される命題は、ある操作が特定の規則に従って…

1. これまで、（単純化して）述べてきた、中期の見地、後期の見地、それぞれに対して、素朴な批判が思い浮かんでくる。 中期の見地に対して： 様々な数学のシステムについて、各々が応用から峻別されて、自立して存在するかのように捉えられているが、それは…