From Abstract to Concrete Gödel's Incompleteness Theorems—Part I by Andrei Popescu and Dmitriy Traytel Sep 16