排中律如何适用于第二不完全性定理及其边界情况例外
How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions
摘要：
我们早期的出版物表明语义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).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
