论文标题
如何将中间定律排除在第二个不完整定理及其边界案例例外
How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions
论文作者
论文摘要
我们较早的出版物表明，语义塔图（Smantic Tableau）承认了第二个不完整定理的部分例外，其中形式主义认识到其自我一致性并将乘法视为3向关系（而不是完全功能）。我们现在表明，如果将被排除的中间定律视为逻辑公理的模式（而不是衍生定理），那么这些边界库的逃避将崩溃。
Our earlier publications showed semantic tableau admits partial exceptions to the Second Incompleteness Theorem where a formalism recognizes its self consistency and views multiplication as a 3-way relation (rather than as a total function). We now show these boundary-case evasions will collapse if the Law of the Excluded Middle is treated by tableau as a schema of logical axioms (instead of as derived theorems).
