finite induction的意思|示意
美 / ˈfainait ɪnˈdʌkʃən /
英 / ˈfaɪˌnaɪt ɪnˈdʌkʃən /
有限数学归纳法