摘要：证明系统$mathsf{Clo}$是不完备的
作者：Johannes Kloibhofer
论文ID：2307.06846
分类：Logic
分类简称：math.LO
提交时间：2023-07-14
PDF 下载： 英文版 中文版pdf翻译中