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

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