Gödel was not merely vacationing but had a very productive summer of work.
Gödel tidak hanya berlibur, tetapi juga sangat produktif dalam bekerja.