 Gödel’s final years are notable for his circulation of two manuscripts: “Some considerations leading to the probable conclusion that the true power of the continuum is ℵ2,” (Gödel *1970a, *1970b) his attempt to derive the value of the continuum from the so-called scale axioms of Hausdorff, and his “Ontologischer Beweis,” (Gödel *1970) which he entrusted to Dana Scott in 1970 (though it appears to have been written earlier). Taken together, the two manuscripts are the fitting last words of someone who, in a fifty year involvement with mathematics and philosophy, pursued, or more precisely, sought the grounds for pursuing those two subjects under the single heading: “strenge Wissenschaft”—a turn of mind that had been in place from Gödel’s start in 1929, when at the age of twenty-three he opened his doctoral thesis with some philosophical remarks.