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

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

تعديل