巨大数
グラハルの時点でハイパークラスformula_38というとんでもなく大きいクラスだが、クラス数に巨大数が使われているため分かりにくい。