Can Mathematics Be Proved Consistent? - Jan von Plato (Springer, 2020)