数学基礎論・数理論理学　その9

ロジックつまり基礎論が数学ではないことはセンスでしかいえない。
小平さんとかアティヤとかなら同意してくれると思う。
こういうセンスが大切だったりする。

ロジックが数学なら分析哲学の一部の議論とか言語学の一部の議論とかも数学になってしまう。

数学についての考察と、数学についての考察についての考察は分けたほうがいい。