>>479
括弧文字のゲーデル数はないの?