![تعریف به وسیله استقراء تعریف به وسیله استقراء](/modules/owlapps_apps/img/nopic.jpg)
تعریف به وسیله استقرا از قضایای مشهور در زمینه منطق ریاضیات است که تعریف مفاهیم جدید برای گزارهها به وسیله بازگشت، با این قضیه مجاز میشود.
فرض کنید تابع و توابع و تابع داده شده باشند، که در آن یک مجموعه دلخواه است. آنگاه تابعی یکتا مثل موجود است که به ازای هر دو گزاره مثل و :
Owlapps.net - since 2012 - Les chouettes applications du hibou