https://5dok.net/document/zkw7r5xe-wishful-thinking-grondslagen-van-de-wiskunde-voor-gödel.html