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

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