迈向无类型证明 Con(NF)
逻辑
2021-07-27 v1
摘要
这种证明 Quine 的新基础集合论(NF)一致性的方法的思想是完全以无类型的方式进行。因此这里没有利用任何关于类型的思考。所有概念化都围绕证明少数几个完全无类型且用通常的集合论语言表述的公理展开，并证明这些公理等价于 NF。这里将表明，如果我们假设 ZF 加上一个自同构以及一个具有其定义域和值域子集的适当内化的外部双射的一致性，那么 NF 将通过使用 Boffa 构造模型的修正被解释于该系统中。
引用
@article{arxiv.2107.11888,
title = {Towards an untyped proof of Con(NF)},
author = {Zuhair Al-Johar},
journal= {arXiv preprint arXiv:2107.11888},
year = {2021}
}
备注
6 pages