摘要：翻译完的标题：经典组合定理的可证性在ZF中的研究
作者：Tam''as Csern''ak and Lajos Soukup
论文ID：2204.00247
分类：Logic
分类简称：math.LO
提交时间：2023-06-13
PDF 下载： 英文版 中文版pdf翻译中