Gödel's incompleteness theorems : a guided tour through Kurt Gödel’s historic proof - Hoffmann, Dirk W., 1972- (Springer, 2024)