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

اذهب إلى التنقل اذهب إلى البحث
أُضيف 58 بايت ، ‏ قبل 9 سنوات
←‏البديهيات: إضافة روابط داخلية
[مراجعة غير مفحوصة][نسخة منشورة]
(إضافة قسم البديهيات وتوسيعه قليلاً)
(←‏البديهيات: إضافة روابط داخلية)
 
=البديهيات=
عندما قام بيانو بصياغة بديهياته كانت لغة [[منطق_رياضي|المنطق الرياضي]] لا تزال حديثة العهد. ولم يلقَ نظام الترميز المنطقي الذي جاء به بيانو لتبيان البديهيات استحساناً وشيوعاً على الرغم من أن بعض الترميزات التي عرّفها لا تزال تستخدم حتى اليوم، فأصل رمز الانتماء إلى [[مجموعة (رياضيات)|مجموعة]] ∈ المستخدم اليوم ليس إلا رمز بيانو ε، وكذلك رمز الاحتواء ⊃ هو في الأصل الحرف 'C' معكوساً الذي عرفه بيانو أيضاً.
 
{{بذرة}}
مستخدم مجهول

قائمة التصفح