違う。
そもそも超限帰納法が理解できていない。
というより帰納的順序集合が理解できていない。