帰納法の原理
from
Homotopy Type Theory(HoTT)
帰納法の原理(きのうほうのげんり、Induction Principle)
帰納法の原理という名前なのに自然数だけにしか言及が無くていまいちわからない
ペアノの公理
の一つで、自然数の性質を定義する公理：
集合
$ S ⊆ ℕ
について、
① 0 ∈ S
② n ∈ S ⇒ n+1 ∈ S
ならば S = ℕ
『型システム入門 : プログラミング言語と型の理論』
第21章 再帰型のメタ理論 のところを読み込む
余帰納法
の方面だと
余帰納法の原理
確認用
Q. 帰納法の原理
関連
Rule induction
帰納法
数学的帰納法
メモ
数学的帰納法の原理（弱数学的帰納法の原理）| 実数の定義 | 実数 | 数学 | ワイズ
『The formal semantics of programming languages: an introduction』
『型システム入門 : プログラミング言語と型の理論』
第21章 再帰型のメタ理論
再帰的定義の数学的取り扱い