استقراء رياضي

[تصغير|300px|يمكن توصيف الاستقراء الرياضي بالنظر إلى التأثيرات المتعاقبة عند سقوط [تأثير الدومينو|الدومينو.]]
**الاستقراء الرياضي**  هو أحد أنواع البرهان الرياضي تستخدم عادة لبرهنة أنّ معادلة أو متباينة ما صحيحة لمجموعة لانهائية من الأعداد، كالأعداد الصحيحة. يعتمد البرهان على مبدأ وقوع أحجار الدومينو، ويتم على مرحلتين: في الأولى، يبرهن أنّ **أوّل رقم** في المجموعة يحقّق المطلوب، وفي الثانية نفرض أنّ المطلوب يتحقّق لعدد ما من المجموعة، ونبرهن، جبريًا، مثلاً، أنّه يتحقّق أيضًا للعدد الذي يليه في المجموعة استنادًا على **الفرض** وعلى **الأساس**.

يذكر، لمنع حصول التلابسات، أنّ الاستقراء الرياضي يختلف عن الاستنتاج الاستقرائي - فالأخير لا يعتبر برهانًا كافيًا ودقيقًا في عالم الرياضيات. الأصح هو القول أنّ الاستقراء الرياضي هو ضرب من الاستنتاج الاستدلالي (deductive reasoning).

## تاريخ
ربما كانت محاورة أفلاطون سنة 370 قبل الميلاد قد حوت أول إثبات بالاستقراء الرياضي على الإطلاق. يمكن ملاحظة اثارالاستقراء الرياضي المبكرة في إثبات إقليدس بأن عدد الأعداد الأولية لانهائي. كما أن أول إثبات ضمني بالاستقراء الرياضي للمتوالية الحسابية كان على يد العربي البغدادي الكرخي حوالي سنة 1000 ميلادية، والذي استخدمها لإثبات نظرية ذات الحدين، مثلث باسكال، وصيغة المجموع لتكامل المكعبات.
كان إثباته هو الأول الذي استخدم المبدأين الأساسيين في الإثبات الاستقرائي، "وهما صواب التعبير من أجل *n* = 1 (لاحظ أن 1=13) واشتقاق الصواب من أجل *n* = *k* من تلك لقيمة *n* = *k*&nbsp;−&nbsp;1. بالطبع الجزء الثاني غير نقدي لأنه بشكل أو باخر حجة الكراجي معكوسة; من هنا يبدأ الكراكي لـ*n* = 10 ومن ثم النزول حتى 1 بدلا من الاستمرار".
ومن بعده مباشرة جاء الحسن ابن الهيثم لإثبات مجموع قوى الدرجة الرابعة بطريقة الاستقراء. لقد قام بإثبات ذلك على أعداد صحيحة معينه فقط ولكن إثباته لهذه الأعداد كان بالاستقراء وشاملا. كما أن السموأل بن يحيى بن عباس كان أقرب إلى الإثبات الحديث بالاستقراء الرياضي عندما استخدمه في توسيع إثبات مثلث باسكال وذات الحدين.

## الوصف
الشكل العام والأبسط في الاستقراء الرياضي يثبت أن التعبير المتمثل في عدد طبيعي *n* يبقى صحيحا لجميع قيم *n*. يتألف الإثبات من خطوتين:
# **الأساس**: لإثبات صحة التعبير عند *n* = 0 أو *n* = 1 غالباً.
# خطوة **الاستقراء**: لإثبات أنه إذا كان التعبير صحيحا لبعض قيم *n*, ***فإن*** التعبير صحيح أيضا عندما تعويض *n*&nbsp;+&nbsp;1 في *n*.

يدعى الافتراض في خطوة الاستقراء بصحة التعبير لبعض قيم *n* ب**فرضية الاستقراء**. لإجراء خطوة استقرائية فيجب فرض الفرضية الاستقرائية يثم استخدام هذا الفرض لاثبات التعبير لقيمة *n*&nbsp;+&nbsp;1.

## فرضية الدومينو
من السهل التمعن في تأثير الدومينو حيث يمكن شرحها كما يلي:
# ستسقط حجرة الدومينو الإولى
# كلما سقطت حجرة دومينو تلتها أخرى،

وبالتالي يمكن استنتاج أن جميع قطع الدومينو سوف تسقط وهذا أمر محتوم.

## مثال
يمكن استخدام الاستقراء الرياضي لاثبات أن التعبير:
: 1 + 2 + \cdots + n = \frac{n(n + 1)}{2}

يظل صحيحا لكل الأعداد الطبيعية *n*. هذه العلاقة تعطي صيغة حساب مجاميع الأعداد الطبيعية من 1 إلى *n*. ويتم إثباتها كما يلي:

لنسمي هذا التعبير (*P*(*n*.
* **الأساس**: لنوضح أن التعبير صحيح من أجل *n* = 1.
تعادل (*P*(1 التعبير:

:1 = \frac{1\cdot(1 + 1)}{2}\,
في الطرف الأيسر من المعادلة الحد الوحيد هو 1, وعليه يكون الطرف الأيسر واحد.

بما أن الطرفان متساويان، يصبح التعبير صحيح من أجل *n*=1. وبالتالي أمكن إثبات أن (*P*(1 صحيحة.
* ** خطوة الاستقراء**: تبين أنه *إذا كانت * (*P*(*n* صحيحة، فإن *(P*(*n* + 1 صحيحة أيضا. يتم ذلك على النحو الاتي.

نفرض أن (*P*(*n* صحيحة (لقيمة غير معينة *n*). وينبغي توضيح أن (*P*(*n* + 1 صحيحة أي:
:1 + 2 + \cdots + n + (n+1) = \frac{(n+1)((n+1) + 1)}{2}
وباستخدام الفرضية (*P*(*n* صحيحة يمكن إعادة صياغة الطرف الأيسر على الشكل:

:(1 + 2 + \cdots + n) + (n+1) = \frac{(n+1)((n+1) + 1)}{2}

إلى:

:\frac{n(n + 1)}{2} + (n+1) = \frac{(n+1)((n+1) + 1)}{2}\,.

وسيبين لنا الجبر أن

وعليه نجد أن (*P*(*n* + 1 في الحقيقة صحيحة.

وبما أنه تم إثبات كلا الأساسين وخطوة الاستقراء، فقد استطعنا الإثبات بالاستقراء الرياضي أن
 (*P*(*n* صحيحة لـ*جميع* الأعداد الطبيعية.

## أشكال مختلفة
في الواقع العملي تختلف هياكل الإثباتات بالاستقراء الرياضي وفقا لطبيعة الخاصية المرادإثباتها.

### البدء عند رقم اخر
إذا أردنا أن نثبت تعبيرا ليس لكل الأعداد الطبيعية ولكن الأعداد أكبر من أو تساوي عدد معين *b*, فأننا:
# نبين أن التعبير يظل صحيحا عندما *n* = *b*.
# نبين أنه إن كان التعبير صحيحا من أجل *n* == *m* ≥ *b* فإن هذا التعبير سيبقى صحيحا من أجل *n* == *m* + 1.

يمكن استعمال هذه الطريقة مثلا لإثبات أن 'n*<sup>2</sup>> 2*n* من أجل *n* ≥ 3. ويمكن التعويض بمثال أكثر من ذلك لاثبات أن

:<math>{n^n \over 3^n} <n! <{n^n \over 2^n}\mbox{ for }n\ge 6.</math>

بهذه الطريقة يمكننا اثبات أن (*P*(*n* تظل صحيحة لجميع قيم *n* ≥1, أو حتى عند *n* ≥−5. هذا النوع من الاستقراء الرياضي هو في الحقيحة حالة خاصة من الشكل السابق لأنه إذا كان التعبير قيد الإثبات هو (*P*(*n*فأن اثباته بهاتين القاعدتين مكافئ للاثبات بـ *P*(*n* + *b*) لجميع الأعداد الطبيعية *n* بالخطوتين الأولتين.

=== البناء من *n* = 2 ===
العديد من الدوال القياسية في الرياضيات بما فيها العوامل مثل "+" والعلاقات مثل "=", هي ثنائية في الحقيقة، بمعنى أن لها وسيطين أو حجتين. تمتلك هذه الدوال غالبا خواصا توسعها ضمنيا لأكثر من وسيطين. على سبيل المثال، عند ما يكون الجمع *a* + *b*
معرفا ومعلومابحيث يحقق [[خاصية التجميع]] (*a* + *b*) + *c* = *a* + (*b* + *c*), فإن الجمع الثلاثي *a* + *b* + *c* يصبح منطقيا إما على الصورة *a* + *b*) + *c*) أو الصورة (*a* + (*b* + *c*. بالمثل الكثير من البديهيات والنظريات الرياضية يمكن إقراره فقط على التحويلات الثنائية من العمليات والعلاقات، ومن ثم توسيعها ضمنيا لتحويلات أعلى.

لنفرض أننا نرغب بإثبات تعبيرا بطول نوني *n* عملية معرفة ضمنيا من العمليات الثنائية، باستعمال الاستقراء الرياضي. حينئذ، لن يكون غريبا أن الحالة *n* = 2 تحمل وزنا خاصا. هنا نسرد بعض الأمثلة:

==== مثال: قاعدة الضرب للمشتقة ====
في هذا المثال، العملية الثنائية المذكورة انفا هي [[عملية الضرب]] (من الدوال). تنص القاعدة المستخدمة غالبا في [[مشتقة|المشتقات]] والتي يتم تدريسها في علم [[تفاضل وتكامل|التفاضل والتكامل]] على:

:<math>(fg)' = f'g + g'f. \!</math>

أو بصورة المشتق اللوغاريتمي

:<math>(fg)'/ (fg) = f'/f + g'/g. \!</math>

ويمكن تعميم هذا على مضاريب *n* من الدوال.

:<math>(f_1 f_2 f_3 \cdots f_n)' \!</math>

::<math>= (f_1' f_2 f_3 \cdots f_n) + (f_1 f_2' f_3 \cdots  f_n) + (f_1 f_2 f_3' \cdots  f_n) + \cdots +(f_1 f_2 \cdots f_{n-1} f_n').</math>

أو بصورة المشتق اللوغاريتمي

:<math>(f_1 f_2 f_3 \cdots f_n)'/(f_1 f_2 f_3 \cdots f_n) \!</math>

::<math>= (f_1'/f_1) + (f_2'/f_2) + (f_3'/f_3) + \cdots + (f_n'/f_n).</math>

في كل حد من حدود *n* على الشكل المألوف، يكون هناك فقط واحدا من المعاملات مشتقا والباقي لا.

عند إثبات هذه الحقيقة بالاستقراء الرياضي، سيكون اختيار *n* = 0 مبتذلا،<math>(1)' = 0 \!</math> (لأن الضرب الخالي هو 1, والجمع الخالي هو 0).
كما أن اختيار *n* = 1 سيكون عاديا أيضا., <math>f_1' = f_1' \!.</math> وفي كل *n* ≥ 3, يكون من السهل إثباتها من الحالة السابقة *n* − 1. تكمن الصعوبة الفعلية في حالة *n* = 2 وهذا هو السبب وراء نصها في قاعدة الضرب القياسية.

==== مثال: إثبات بويالا بأنه لايوجد "حصان من لون اخر ====

في هذا المثال، العملية الثنائية انفة الذكر هي علاقة مكافئة مطبقة على الأحصنة، بحيث أن كل حصانين يكونان متكافئان إذا كان لهما نفس اللون. الحجة في الاساس مماثلة لماسبق، ولكن الحالة الحرجة *n*&nbsp;=&nbsp;2 تفشل، مسببة النقاش الداخلي غير مسموح به.
في أواسط القرن العشرين، كانت هناك عبارات عامية تعبر عن فكرة أن هنالك شيء مختلف عن المألوف وبشكل غير متوقع «*'ذلك** من لون اخر!». افترض [[جورج بوليا]] التمرين التالي: ابحث عن الخطأ في هذا النقاش، والذي يزعم أن يثبت بالاستقراء الرياضي بأن جميع الأحصنة لها نفس اللون:
* الأساس: إن كان هناك حصان واحد فقط، فسيكون هنالك لون واحد فقط.
* خطوة الاستقراء: نفرض بالاستقراء أنه في أي مجموعة مكونة من ''n'' من الأحصنة، يوجد لون واحد فقط. والان للنظر إلى إي مجموعة بها ''n''&nbsp;+&nbsp;1 من الأحصنة. لتكن أرقامها: 1, 2, 3,..., ''n'', ''n''&nbsp;+&nbsp;1. ولنعتبر المجموعات {1, 2, 3,..., ''n''} و{2, 3, 4,..., ''n''&nbsp;+&nbsp;1}. كل منها محموعة من ''n'' من الأحصنة فقط، وعليه فإن في كل منها يوجد لون واحد فقط. ولكن المجموعتان تتداخلان، وبالتالي يجب أن يكون هناك لون واحد فقط بين كل الأحصنة''n''&nbsp;+&nbsp;1.

باستهلال الاستقراء عند 1, تكون الحالة ''n''&nbsp;=&nbsp;1 مبتذلة (فأي حصان له لون واحد كونه نفسه), والخطوة الاستقرائية صحيحة لكل الحالات ''n''&nbsp;≥&nbsp;3. ولكن، يكون منطق الخطوة الاستقرائية خاطئا عندما ''n''&nbsp;=&nbsp;2., وذلك لأن التعبير«المجموعتان تتداخلان» خاطئ. في الحقيقة، الحالة ''n''&nbsp;=&nbsp;2 هي لغز المسألة. لو استطاع أحدهم اثبات الحالة ''n''&nbsp;=&nbsp;2 لكانت الحالات الأعلى قد مرت بخاصية [[علاقة متعدية|التعدي]] بنفس العلاقة المكافئة.

=== النزول اللانهائي ===

شكل آخر من أشكال الاستقراء وهو النزول اللانهائي، إحدى وسائل [[بيير دي فيرما]] المفضلة. هذه النوع من الإثبات يعمل بشكل عكسي، ويمكن أن يفترض نماذج مختلفة قليلا. على سبيل المثال، قد يبدأ ببيان أنه إذا كان التعبير صحيحا لعدد طبيعي ''n'' لزم أن يكون صحيحا أيضا لأعداد طبيعية أصغر ''m'' حيث (''m'' &lt; ''n''). باستعمال الاستقراء الرياضي (ضمنيا) مع الفرضيات الاستقرائية بخطأ التعبير لجميع الأعداد الطبيعية أقل أو تساوي ''m'', يمكن الاستنتاج بأن التعبير لايمكن أن يكون صحيحا لأي عدد طبيعي ''n''.

== استقراء تام ==
توجد طريقة أخرى للتعميم، تدعى **الاستقراء التام** أو **الاستقراء الشديد** أو **استقراء مجموعة جرعات**, تنص على أنه في الخطوة الثانية يمكننا افتراض ليس بقاء صحة الشرط لقيم ''n'' = ''m'' فحسب بل أيضا لقيم ''n'' أقل أو تساوي ''m''.
ليس ضروريا ذكر حالة الأساس في الاستقرار التام كافتراض منفصل. عندما نأخذ بعين الاعتبار الحالة الأولى، فأن اعتبار صحة الشرط لجميع الحالات السابقة أمر صحيح لاداعي لذكره. فخطوة الاستقراء للاستقراء التام في هذه الحالة مقابلة لحالة الأساس في الاستقراء العادي. وعلى ذلك ينبغي للإثبات بخطوة الاستقراء في الاستقراء التام أن تكون قادرة على العمل مع شرط خالي شبيه لما سبق. الإثبات الأول في السابق ليس من هذا النوع (لكن يمكن تحويله).

إن الاستقراء التام مفيد جدا عندما يتطلب الأمر مراحل عديدة من فرضيات الاستقراء لكل خطوة على حدة. مثلا يمكن استخدام الاستقراء التام لتوضيح أن:

:<math> \operatorname{F}(n) = \frac{(\varphi_+)^n - (\varphi_-)^n}{(\varphi_+) - (\varphi_-)}</math>

حيث <math>\operatorname{F}(n)</math> هو [[عدد فيبوناكسي]] النوني و <math>\varphi_+ = (1 + \sqrt{5})/2 </math> ([[نسبة ذهبية|النسبة الذهبية]]) و <math>\varphi_- = (1 - \sqrt{5})/2</math> جذور <math>\ x^2 - x - 1 = 0</math>. باستعمال التعريف <math> \operatorname{F}(n + 1) = \operatorname{F}(n) + \operatorname{F}(n - 1)</math>، يمكن التحقق من المتطابقة السابقة مباشرة بالتفاضل والتكامل <math> \operatorname{F}(n + 1)</math> إذا افترضنا صحتها لكل من <math>\operatorname{F}(n)</math> و<math> \operatorname{F}(n - 1)</math>. لاستكمال الإثبات، يجب تحقيق المتطابقة باستخدام كلا حالتي الأساس <math>n=0</math> و <math>n=1</math>.

* **الأساس**: لنوضح أن التعبير صحيح من أجل <math>n=0</math> و <math>n=1</math> :

<math>F(0)=\frac{\left(\frac{1+\sqrt{5}}{2}\right)^{0}-\left(\frac{1-\sqrt{5}}{2}\right)^{0}}{\sqrt{5}}
=\frac{1-1}{\sqrt{5}}
= 0
</math>

<math>F(1)=\frac{\left(\frac{1+\sqrt{5}}{2}\right)^{1}-\left(\frac{1-\sqrt{5}}{2}\right)^{1}}{\sqrt{5}}
=\frac{\frac{1+\sqrt{5}}{2}-\frac{1-\sqrt{5}}{2}}{\sqrt{5}}
=\frac{\frac{1+\sqrt{5}-1+\sqrt{5}}{2}}{\sqrt{5}}
=\frac{\frac{\sqrt{5}+\sqrt{5}}{2}}{\sqrt{5}}
=\frac{\frac{2\sqrt{5}}{2}}{\sqrt{5}}
=\frac}{\sqrt{5}}
=1
</math>

* **خطوة الاستقراء** : تبين أنه إذا كانت <math>F(n)</math> و <math>F(n-1)</math> صحيحة، فإن <math>F(n+1)</math> صحيحة أيضا. يتم ذلك على النحو الاتي.

<math>
\begin{align}
F\left(k+1\right) &= F\left(k\right)+F\left(k-1\right)\\
 &= \frac{\left(\frac{1+\sqrt{5}}{2}\right)^{k}-\left(\frac{1-\sqrt{5}}{2}\right)^{k}}{\sqrt{5}}+\frac{\left(\frac{1+\sqrt{5}}{2}\right)^{k-1}-\left(\frac{1-\sqrt{5}}{2}\right)^{k-1}}{\sqrt{5}}\\
 &= \frac{\left(\frac{1+\sqrt{5}}{2}\right)^{k}+\left(\frac{1+\sqrt{5}}{2}\right)^{k-1}-\left(\frac{1-\sqrt{5}}{2}\right)^{k}-\left(\frac{1-\sqrt{5}}{2}\right)^{k-1}}{\sqrt{5}}\\
 &= \frac{\left(\left(\frac{1+\sqrt{5}}{2}\right)+1\right)\left(\frac{1+\sqrt{5}}{2}\right)^{k-1}-\left(\left(\frac{1-\sqrt{5}}{2}\right)+1\right)\left(\frac{1-\sqrt{5}}{2}\right)^{k-1}}{\sqrt{5}}\\
 &= \frac{\left(\left(\frac{3+\sqrt{5}}{2}\right)\right)\left(\frac{1+\sqrt{5}}{2}\right)^{k-1}-\left(\left(\frac{3-\sqrt{5}}{2}\right)\right)\left(\frac{1-\sqrt{5}}{2}\right)^{k-1}}{\sqrt{5}}\\
 &= \frac{\left(\left(\frac{1+\sqrt{5}}{2}\right)^{2}\right)\left(\frac{1+\sqrt{5}}{2}\right)^{k-1}-\left(\left(\frac{1-\sqrt{5}}{2}\right)^{2}\right)\left(\frac{1-\sqrt{5}}{2}\right)^{k-1}}{\sqrt{5}}\\
 &= \frac{\left(\frac{1+\sqrt{5}}{2}\right)^{k+1}-\left(\frac{1-\sqrt{5}}{2}\right)^{k+1}}{\sqrt{5}}
\end{align}
</math>

يوجد اثبات آخر بالاستقراء الرياضي يستخدم الفرضيتين بصحة التعبير **لكل*' قيم *n* الصغرى تماما. لنعتبر التعبير بأن «كل [[عدد طبيعي]] أكبر من 1 هو حاصل ضرب أعداد أولية», وبافتراض أنه بدلالة *m* &gt; 1 يكون صحيحا لجميع قيم الصغرى *n* &gt; 1. إذا كان *m* [[عدد أولي]] فمؤكد أنه حاصل ضرب أعداد أولية وإذا لم يكن كذلك، فإنه من التعبير حاصل ضرب: *m* = *n*<sub>1</sub> *n*<sub>2</sub>,

حيث أن أي من المعاملات لا يساوي 1, وعليه ولا يساوي *m*, وبالتالي كليهما أقل من *m*. الآن يتم تطبيق فرضية الاستقراء على *n*<sub>1</sub> و*n*<sub>2</sub>, وبالتالي فكل منهما حاصل ضرب أعداد أولية. ومن ثم *m* حاصل ضرب مضاريب أعداد أولية، أي ضرب أعداد أولية. لاحظ أن حالة الأساس *m* =2 لم يتم اعتبارها بشكل صريح مطلقا.

=== استقراء محدود ===

يمكن إعادة صياغة الخطوتين الأخيرتين في خطوة واحدة:
# بتوضيح أنه إذا كان التعبير صحيحا لجميع قيم *n* <*m* فإن نفس التعبير صحيح أيضا من أجل *n* = *m*.

في الحقيقة هذا هو الشكل العام الغالب في الاستقراء الرياضي ويمكن أثبات أنه ليس صالحا لتعابير الأعداد الطبيعية فحسب بل لعناصر أي مجموعة مؤسسة جيدأ، وبتعبير آخر زمرة غير انعكاسية <تلك التي لا تحوي [[سلسلة تنازلية لانهائية|سلاسل تنازلية لانهائية]].

عند تطبيق هذا النوع من الاستقراء على [[الترتيبات]] (التي تشكل [[ترتيب حسن]] وعليه صنف مؤسس جيدا), تدعى [[استقراء محدود]] ويعد اثباتا له أهميته في [[نظرية المجموعات]] و[[طوبولوجيا|الطوبولوجيا]] والمجالات الأخرى.
وبشكل عام يميز الاستقراء المحدود ثلاث حالات:
# عندما يكون *m* عنصرا صغريا أي أنه لايوجد عنصر أصغر من*m*
# عندما تمتلك *m* سلفا مباشرا، أي مجموعة من العناصر أقل من *m* لها عنصر أعظمي.
# عندما لا يكون لـ*m* سلفا مباشرا، أي أن *m* تدعى نهاية ترتيبية.

وبمعنى أدق، من اللازم في الاستقراء المحدود أن يتم إثبات الأساس، لأنه لاجدوى من حالة خاصة للاقتراح إذا كان *P* صحيحا لكل قيم *n* <*m*, فإن *P* صحيحا في *m*.

== إثبات أو إعادة صياغة الاستقراء الرياضي ==
غالبا ما يتم نص مبدأ الاستقراء الرياضي [[مسلمة (فلسفة)|كبديهية]] الأعداد الطبيعية، انظر.
ومع ذلك، يمكن إثباته في بعض الأنظمة المنطقية. على سبيل المثال، يمكن إثباته إذا افترض أن:
* مجموعة الأعداد الطبيعية هي ذات [[ترتيب حسن]].
* كل عدد طبيعي إما صفر، أو *n*+1 لعدد طبيعي أكبر من *n*.
* لعدد طبيعي *n* يكون *n*+1 أكبر من *n*.

لاشتقاق استقراء بسيط من هذه البديهيات، ينبغي أن نبين أنه إذا كانت <math>P(n) \,</math> اقتراحا ما متوقعا لـ*n*, إذا كان:
* <math>P(0) \,</math> صحيحة
* عندما تكون <math>P(k)\,</math> صحيحة فإن <math>P(k+1)\,</math> صحيحة أيضا
فإن<math>P(n) \,</math> صحيحة لجميع قيم *n*.

نبين أولا أنه إذا كانت <math>P(k) \,</math> صحيحة لكل *k* &lt; *m*, فإن <math>P(m) \,</math> صحيحة أيضا. إذا كانت *m* صفرا، فإن <math>P(m) \,</math> صحيحة. إذا كانت *m* = *k* + 1, فإن <math>P(k) \,</math> صحيحة لأن *k* &lt; *m'' وعليه P(k+1) \, صحيحة مما يعني أن P(m) \, صحيحة. الباقي يتبع من مبادئ الاستقراء المحدود (انظر أسفل).

## انظر أيضًا
* معاودة
* معاودة (علوم حاسوب)
* استنتاج استقرائي
* هيرمان كراسمان

## المصادر والملاحظات

## روابط خارجية
*
تصنيف:مقالات تحوي براهين
تصنيف:مناهج البرهان
تصنيف:منطق استقرائي
تصنيف:منطق رياضي