Английский ⇄ Греческий Датский Испанский Итальянский Китайский Немецкий Нидерландский Португальский Французский +

inductive assertion method
ИТ.	★ 归纳断言法; 归纳断言方法
косм.	归纳断言法 (一种正确性证明技术)