Gödel was not merely vacationing but had a very productive summer of work.
За Гедел тоа не било само одмор, туку многу продуктивно лето.