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