Gödel incompleteness through Arithmetic Universes after A. Joyal

Joost van Dijk, Alexander Gietelink Oldenziel

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. Applicat…