inductive logic
منطق استقرایی
mathematical induction
استقرای ریاضی
weak induction
استقرا ضعیف