A Mechanised Proof of Gödel’s Incompleteness Theorems using Nominal Isabelle

摘要

This is the author accepted manuscript. The final version is available from Springer at http://link.springer.com/article/10.1007%2Fs10817-015-9322-8