ゲーデル文のゲーデル数って自然数内に存在するんですか?