帰納法の原理
from
Homotopy Type Theory(HoTT)
帰納法の原理(きのうほうのげんり、Induction Principle)
帰納法
確認用
Q. 帰納法の原理
メモ
数学的帰納法の原理（弱数学的帰納法の原理）| 実数の定義 | 実数 | 数学 | ワイズ