>>779
普通にHardyと順序数を使った物に対して
どの辺がメリット?