'''البرهان اللِّمِّي''' أو '''البرهان الاستدلالي''' أو '''التعليل'''<ref>[[لسان العرب]]، مادة [http://lexicons.ajeeb.com/openme.aspx?fileurl=/html/7075268.html عل]</ref> [[افتراض]] عليه برهان وغايته أن يستدل به على [[نتيجة]] مهمة.
{{ويكي|تاريخ=أكتوبر_2010}}
'''اللِّيمّا'''، '''البرهان الاستدلالي'''، ''اللم'' أو ''البرهان اللمي''<ref>[http://www.arabicacademy.org.eg/FrontEnd/SearchResult.aspx?Key=lemma مجمع عربي: مصطلح اللم - الصفحة الثانية]</ref> ({{إحراف ملمح|λήμμα|ليمّا}} ب[[يونانية|اليونانية]]<ref>{{كبيبرات|[http://users.sch.gr/elscardan/Usefully/mt.pdf - Μαθηματικό Τυπολόγιο]}}</ref>) في [[منطق رياضياتي|منطق]] [[رياضيات|الرياضيات]]: مبرهنة تمهيدية<ref>[http://www.mathramz.com/xyz/viewtopic.php?f=1&t=5744 مصطلحات - منتدى الرياضيات رمز]</ref> لازمة<ref>[http://www.mathramz.com/math/Normal_Jone_Lemma لازمة جون - شبكة الرياضيات رمز]</ref>—أو معضلة<ref>[http://www.alargam.com/maths/mathmatics/m/18.htm نظرية الاحتمالات - موقع الأرقام]</ref> صغيرة إن صح التعبير—تتخذ للتسديد إلى [[برهان رياضياتي|برهان]] [[مبرهنة]] أهم۔
<!--اللائحة أسفله عن ويكي الفرنسية-->
<ol style="list-style-type: circle ">في حالات مستكثرة، تستطرق لإعطاء البرهان على مبرهنة هذه الطريقة:
<li>نرود البرهنة على المبرهنة '''''ב''''' من مجموعة من [[بديهيات|البديهيات]] والنتائج التي أعطيت، لكن هذا مبهم من الوهلة الأولى۔</li>
<li>بيد أنّا، إن عرفنا '''''ס''''' حقّا (إذ أن '''''ס''''' ''ليما'' موكدة)، نسطيع الاستنتاج من فورنا باعتبار قوانين [[منطق]]ية معترف بها۔</li>
<li>نضع إذن '''''ס''''' كنتيجة كي نبرهن عليها، ونطبق عليها طريقة من الطرائق التي تعطي [[برهان رياضياتي|برهانا رياضياتيا]] للمبرهنة۔</li>
<li>ما إن نبرهن على '''''ס''''' بتلك الطريقة، نكون إذن قد استخلصنا '''''ב''''' (إن المبدأ نفسه تعمل به [[برهان بالحاسوب|البراهين الحاسوبية]]<ref>{{كبيبرات|[http://www.math.gatech.edu/~belinfan/research/autoreas/ Computer-assisted proof]}}</ref>)۔</li>
