>>174
ゲーデル数と、対角線論法＆自己言及（クワイン文）を
押さえてるから、入門になってるんじゃね？

でも大抵の人はPart1で挫折するので、それに気づかないが。