generated at
2/18/2025, 1:45:43 AM
超限帰納法
https://miz-ar.info/math/transfinite-induction-20210725.pdf
整礎
帰納法