まず「ゲーデル数（ゲーデル文）」というのが何なのか説明してくれ。
全てはそれからだ。