归纳断言法

[计] induction assertion method, inductive assertion method

guī nà duàn yán fǎ ㄍㄨㄟ ㄋㄚˋ ㄉㄨㄢˋ ㄧㄢˊ ㄈㄚˇ