از ویکیپدیا، دانشنامهٔ آزاد
تعریف به وسیله استقرا از قضایای مشهور در زمینه منطق ریاضیات است که تعریف مفاهیم جدید برای گزارهها به وسیله بازگشت، با این قضیه مجاز میشود.
فرض کنید تابع و توابع و تابع داده شده باشند، که در آن یک مجموعه دلخواه است. آنگاه تابعی یکتا مثل موجود است که به ازای هر دو گزاره مثل و :