Can mathematics be proved consistent? Gödel's shorthand notes & lectures on incompleteness - Von Plato, Jan, 1951- (Springer, 2020)