各形式記号に1対1対応するゲーデル数は、テキストによってまちまちであるのはなぜなの？
統一表記にした方が便利だと思うのだけど