摘要：限制ZF和KM的含有各自的说明文件存在的命题的推论方案会产生非达到的理论
作者：Alfredo Roque Freire and Kameryn J. Williams
论文ID：2212.04445
分类：Logic
分类简称：math.LO
提交时间：2023-05-16
PDF 下载： 英文版 中文版pdf翻译中