2017-02-09 「2階のモデル理論」≒「普通の数学」 何で「2階述語論理のモデル理論」って、あんまり取り上げられないのだろう???と思ったら、それは普通の数学と差別化できないからという逆に言えば、「数学の基礎」=「2階モデル理論の基礎」ということだな