>>12
じゃあ数理論理学で形式化されるZFC集合論って何なの
というか何のための公理系なのZFCは
基礎論屋の自己満足のためのただのお遊びなの?