超限帰納法 (ちょうげんきのうほう) — transfinite induction | Kumi Dictionary