论文标题
A. Joyal之后的算术世界的Gödel不完整
Gödel incompleteness through Arithmetic Universes after A. Joyal
论文作者
论文摘要
我们在A. Joyal之后提供了Gödel的不完整定理的证明。该证明在算术宇宙中使用了内部类别理论，这是对Topoi的谓语概括。讨论了对Löb定理的申请。
We give proofs of Gödel's incompleteness theorems after A. Joyal. The proof uses internal category theory in an arithmetic universe, a predicative generalisation of topoi. Applications to Löb's Theorem are discussed.
