An Abstract Formalization of Gödel's Incompleteness Theorems by Andrei Popescu and Dmitriy Traytel Sep 16