Gödel's Theorem - innbundet, Engelsk, 2017