摘要：用修订真理理论中的技巧，我建立了一个模型，用于Quine在ZF中发展的集合论NF（新基础）。因此，证明了相对于ZF的一致性。该模型本质上是一个术语模型；NF的集合被解释为稍微修改过的NF语言的封闭分层术语的等价类。
作者：Mika Oksanen
论文ID：math/9903048
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中