تعریف به وسیله استقرا از قضایای مشهور در زمینه منطق ریاضیات است که تعریف مفاهیم جدید برای گزاره ها به وسیله بازگشت، با این قضیه مجاز می شود.اصل استقرافرض کنید تابع f p : P → S {\displaystyle f_{p}:P\rightarrow S} و توابع f ∧ , f ∨ , f → : S 2 → S {\displaystyle f_{\land },f_{\lor },f_{\to }:S^{2}\to S} و تابع f ¬ : S → S {\displaystyle f_{\lnot }:S\to S} د...
