Kurt Gödel and the consistency of ${\rm R}^{##}$