整礎関係
整礎関係が興味深い重要な理由は、それによって超限帰納法の一種が考えられることにある。すなわち (X, R) が整礎関係で P(x) が X の元に関する何らかの性質であるときに、 P(x) が X の「すべての」元に対して満たされることを示すには、以下を示せば十分である。
x を X の元とするとき、y R x なる全ての y に対して P(y) が真であるならば P(x) は必ず真である。つまり、 ( ∀ x ∈ X ) [ ( ( ∀ y ∈ X ) ( ( y R x ) → P ( y ) ) ) → P ( x ) ] → ( ∀ x ∈ X ) ( P ( x ) ) {\displaystyle (\forall x\in X)\,[((\forall y\in X)\,((y\,R\,x)\to P(y)))\to P(x)]\to (\forall x\in X)\,(P(x))}
が成り立つ。 このような整礎帰納法 (well-founded induction) は、エミー・ネーターにちなんでネーター帰納法 (Noetherian induction) とも呼ばれることがある。
帰納法と同様に、整礎関係は超限再帰による対象の構成も保証する。(X, R) が集合的整礎関係で F が X の元 x と X の始切片 {y | y R x} 上の函数 g の組に対して対象 F(x, g) を割り当てる函数とすると、函数 G が一意的に存在して、任意の x ∈ X に対して