Vocabulary
超限帰納法
ちょうげんきのうほう
transfinite induction
noun