אנגלית ⇄ סינית +

fixpoint induction method
.טֶכנו	不动点归纳法