じゃなく高速に有限巨大数を作る方法を考えるスレかな？そのために順序数を利用しようという流れかと。