مسلمات بيانو: الفرق بين النسختين

أُضيف 4 بايت ، ‏ قبل 8 سنوات
ط
WPCleaner v1.30b - باستخدام وب:فو - عناوين تبدأ برمز "=" واحد
[نسخة منشورة][نسخة منشورة]
(←‏البديهيات: إضافة روابط داخلية)
ط (WPCleaner v1.30b - باستخدام وب:فو - عناوين تبدأ برمز "=" واحد)
تقع بديهيات بيانو ضمن ثلاث فئات: تحتوي '''الفئة الأولى''' على بديهية واحدة تجزم وجوب احتواء مجموعة الأعداد على عنصر واحد على الأقل. تتضمن '''الفئة الثانية''' أربع بديهيات تصف خصائص المساواة، أما '''الفئة الثالثة''' فهي تتضمن جملاً من [[منطق الرتبة الأولى|الرتبة الأولى]] تتعلق بالأعداد الطبيعية وتعبر عن الصفات الرئيسية لعملية التالي، بالإضافة إلى جملة واحدة من [[منطق الرتبة الثانية|الرتبة الثانية]] تُعتبر قاعدةَ الاستقراء الرياضي للأعداد الطبيعية. من الجدير بالذكر أنه يمكن الحصول على نظام من منطق الرتبة الأولى أضعف (أقل قدرة تعبيرية) من حساب بيانو من خلال إضافة رموز عمليات الجمع والضرب إلى جملة البديهيات واستبدال بديهية الاستقراء ذات الرتبة الثانية [[مخطط بديهية|بمخطط بديهية]] من الرتبة الأولى.
 
== البديهيات ==
عندما قام بيانو بصياغة بديهياته كانت لغة [[منطق_رياضي|المنطق الرياضي]] لا تزال حديثة العهد. ولم يلقَ نظام الترميز المنطقي الذي جاء به بيانو لتبيان البديهيات استحساناً وشيوعاً على الرغم من أن بعض الترميزات التي عرّفها لا تزال تستخدم حتى اليوم، فأصل رمز الانتماء إلى [[مجموعة (رياضيات)|مجموعة]] ∈ المستخدم اليوم ليس إلا رمز بيانو ε، وكذلك رمز الاحتواء ⊃ هو في الأصل الحرف 'C' معكوساً الذي عرفه بيانو أيضاً.
 
1٬489٬811

تعديل