超限帰納法
https://miz-ar.info/math/transfinite-induction-20210725.pdf
整礎
帰納法