普通の数学における数学的帰納法や関数の再帰的定義は, その及ぶ範囲が自然数であることがほとんどです. 数学的帰納法は任意の自然数について述語が正しいことを証明する原理で, 再帰的定義は定義域が自然数全体の関数を再帰的に定義する場合によく用いられ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。