مبرهنة

من ويكيبيديا، الموسوعة الحرة

المبرهنة theorem قضية افتراضية ( بمعنى جملة خبرية : تحتمل الصدق و الكذب ) proposition قد تم البرهنة عليها و إثباتها أو انها مطلوب إثباتها ، و ذلك بناء على افتراضات واضحة محددة explicit assumptions . يعتبر برهنة المبرهنات احدى أهم فعاليات الرياضياتيون .

يجب عدم الخلط بين المبرهنة "theorem" و "النظرية".

المبرهنات بشكل عام تحتاج إلى تأسيس ، عدد من الشروط التي يجب أن تذكر و تحقق قبل ذكر المبرهنة ، عندئذ تكون المبرهنة استنتاجا لهذه الشروط ، فتكون المبرهنة عبارة رياضية صحيحة عند تحقق الشروط المذكورة . و مع ان البرهان الرياضي ضروري في حال المبرهنات فإنه لا يعتبر جزءا من المبرهنة .