تعریفات تراجعی بر اساس استقراء ریاضی

در ابتدا استقراء و انواع آن همراه با مثال هاي خاص بررسی می کنیم و همچنین نقش استقراء را به لحاظ تعمیم مفاهیمی اساسی از ریاضیات همانند جمع و ضرب توضیح می دهیم، ضمناً ارتباط استقراء با تعریفات استقرایی بررسیمی شود. در این رابطه مفاهیم پایه اي همچون تابع تراجع، روابط و انواع آن همراه با رابطه ترتیب جزئی و کلی را توضیح می دهیم، و در انتها رابطۀ تراجعی داده شده فرمول صریحی (تابع منحصر به فردي) بدست می آوریم که به استقراء قابل حل می باشد