>>496
少しはヒント出すか。１，２，３，．．．と自然数を順に調べていけば、その中にピタゴラスの定理の証明が
あるんだけど。意味わかんねーだろ。だから、ゲーデル数化ぐらい知っとけっての。

あ、それから、真であることを求めるプログラムじゃなくて、証明を見つけるプログラムな。
真と証明可能の違いくらいも早く知っとけ。