普通順序数の和･積･冪って超限帰納法で定義すると思うんだけど、
Jechのだったっけ？、一旦和･積･冪に対応した整列集合を作ってから、その順序型としての順序数で和･積･冪を定義してたよな
この時の整列集合の見た目がゴチャゴチャしてるッぷりは目障りだった
何でこんな事するんだよ