Gödelin epätäydellisyyslauseet - Kosonen, Ossi, kirjoittaja (2016)