ひたすら大きな帰納的順序数を追い求める人と>>459は理解しあえない