不动点归纳法的英文翻译

中文：不动点归纳法