结构归纳法 【计】 structural induction; structured induction