Gödel's Theorem - inbunden, Engelska, 2017