Ортэфагд.

[masterden]

https://robert.accettura.com/wp-content/uploads/2010/10/Morgenstern_onGoedelcitizenship.pdf ( если протухнет, альтернативная ссылка: https://www.dropbox.com/s/ysn2ok6wtsgo8ka/Morgenstern_onGoedelcitizenship.pdf?dl=0 )

Самый сок - конец диалога Гёделя, на 4-й странице.