极限定理的Boolos式证明
Boolos-style proofs of limitative theorems
摘要：
Boolos的不完备性证明被直接地扩展到产生一些经典逻辑极限定理的简单的“无对角化”证明。
英文摘要：
Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
