摘要：Pfund：一个解决集合论悖论的系统
作者：Frode Alfson Bj{o}rdal
论文ID：2212.11859
分类：Logic
分类简称：math.LO
提交时间：2023-05-03
PDF 下载： 英文版 中文版pdf翻译中