排中律如何关涉第二不完备定理及其边界情形例外
逻辑
2020-06-02 v1
摘要
我们早先的出版物表明，语义表当将乘法视为三元关系（而非全函数）时，容许第二不完备定理的部分例外，即形式系统可识别其自身一致性。我们现在表明，若排中律被表当作逻辑公理模式（而非导出定理）来处理，这些边界情形的规避将会崩溃。
引用
@article{arxiv.2006.01057,
title = {How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions},
author = {Dan E. Willard},
journal= {arXiv preprint arXiv:2006.01057},
year = {2020}
}
备注
Short conference announcements of these results at ASL-2020's Virtual N. American Meeting and at LFCS-2020