>>113
＞強制法を使わないと示せない定理は全部論理学の研究成果だというのは無理だと思う。
強制法を使っても使わなくても Set Thoery 03Exxは
Mathematical logic and foundations 03-XX の一部ですが何か？