Vocabulary

超限帰納法

transfinite induction

noun