>>444
一例はゲーデル数化じゃないの?