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