Wikipedia describes Godel as a nonreligious theist who believed in the existence of an afterlife. In that context, it is not surprising that he would draw far-reaching conclusions that a human being's behaviour cannot be described by a formal system.