Can Mathematics Be Proved Consistent? Gödel's Shorthand Notes & Lectures on Incompleteness - von Plato, Jan (Springer International Publishing, 2020)