معلومات مقرر دراسي

الأنظمة البديهية(Axiomatic)

يتكون النظام البديهي من تعاريف ,مجموعة بديهيات ومبرهنات . سندرس هذه المفاهيم بشكل عام ثم نأخذ بعض الامثلة عن أنظمة بديهية التي تكون بعضا منها منتهية .

اولا :- التعاريف

ان اي تعريف جيد لاي كلمة (مصطلح) في الرياضيات يجب ان يعبرعنه  ببساطة , ان يكون غير دوري ويصف بطريقة وحيدة الكلمة المراد تعريفها .

ثانياً :- البديهية (Axims)

كما ان الكلمات الأولية اختيرت كأساس ,وبدلاتها تعرف الكلمات ألأخرى ,فاننا نختار كذلك بعض العبارات البسيطة التي تتعلق بالكلمات الأولية كأساس ومنها نستنتج العبارات ألاخرى في النظام .هذه العبارات ألأساسية التي نتقبلها بدون برهان تدعى بديهيات والتي هي حجر ألاساس للبناء .

ثالثا:- المبرهنات

هي النتيجة التي نحصل عليها من بديهيات النظام او عبارات فيها هذا النظام مبرهنة سابقاً تعتبر كفرضيات.

تعريف علم الهندسة:- هو عبارة عن نظام بديهي لاننا نستخدم مجموعة ( بديهيات – تعاريف – مبرهنات )

كمثال لنظام البديهي هو ( الهندسة الاقليدية)