Gödel incompleteness through Arithmetic Universes after A. Joyal
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
