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