整礎関係として順序数全体のなす類上の通常の順序を考えれば、超限帰納法と呼ばれる手法が得られるし、整礎集合として再帰的に定義されるデータ構造からなる集合をとれば、構造的帰納法が考えられる。