**نَظَرِيَةُ الْمَجْمُوعَاتِ الْمُبَسَّطَةِ** هي واحدة من النظريات المتعددة للمجموعات التي تُستخدم في مناقشة أسس الرياضيات. يدعم المحتوى غير الرسمي لهذه النظرية كل من أوجه المجموعات الرياضية المألوفة في  الرياضيات المتقطعة (على سبيل المثال  مخططات فيين و الاستنتاج الرمزي حول  الجبر المنطقي)، والاستخدام اليومي لمفاهيم نظرية المجموعات في معظم الرياضيات المعاصرة.

وللمجموعات أهمية كبرى في الرياضيات، وفي الواقع يتم تعريف معظم الكيانات الرياضية، في المعالجات الرسمية الحديثة، (الأعداد، والعلاقات، والدوال الرياضية، إلخ.) من حيث المجموعات. ويمكن النظر إلى نظرية المجموعات المبسطة باعتبارها وسيلة نحو معالجات أكثر رسمية وكافية لأغراض متعددة.

المتطلبات
---------

وبموجب هذا المقال، فإن **النظرية المبسطة** هي نظرية غير رسمية، وهذه هي النظرية التي تستخدم اللغة الطبيعية لوصف المجموعات. ولا تخضع الكلمات **و**، **أو**، **إذا... ثم**، **لا**، **لبعض**، **لكل** لهذا التعريف الدقيق. ومن المفيد دراسة المجموعات ببساطة في مرحلة مبكرة من تعلم الرياضيات من أجل تطوير سهولة التعامل معها. وعلاوة على ذلك، يعد الاستيعاب المتين لمفاهيم المجموعات النظرية من وجهة نظر مبسطة مهمًا كمرحلة أولى في فهم الدافع وراء البديهيات الرسمية لنظرية المجموعات.

يطور هذا المقال النظرية المبسطة. ويتم تعريف المجموعات بشكل غير رسمي، كما يتم البحث في القليل من خصائصها. وتصف الروابط في هذا المقال نحو بديهيات محددة من نظرية المجموعات العلاقات بين المناقشة غير الرسمية هنا وتبسيط الحقائق والعلاقات الرسمية لنظرية المجموعات، ولكن لا توجد محاولة لتبرير كل ملاحظة على هذا الأساس. وقد كان أول تطور لـنظرية المجموعات مجرد نظرية للمجموعات المبسطة. قام بابتكارها جورج كانتور (Georg Cantor) في نهاية القرن التاسع عشر كجزء من دراسته لـالمجموعة غير المنتهية.

وكما تبين لاحقًا، فإن افتراض أنه بإمكان الفرد القيام بأي عملية على المجموعات بدون قيود يؤدي إلى مفارقات مثل مفارقة راسل (Russell) ومفارقة بيري (Berry). ويعتقد البعض أن نظرية جورج كانتور للمجموعات لا تقوم تلك المفارقات بتضمينها فعليًا (انظر فرابولي (Frápolli) 1991)، وتكمن الصعوبة الوحيدة في تحديد ذلك على وجه اليقين في أن كانتور لم يقدم تبسيطًا لحقائق هذا النظام. ولا جدال في أن، بحلول عام 1900، كانتور كان مدرِكًا لبعض من المفارقات ولم يعتقد أنها قد أضعفت نظريته. وقد قام كوتلب فريج (Gottlob Frege) بتبسيط نظرية ما بوضوح والتي يمكن فيها تفسير النسخة الرسمية لنظرية المجموعات المبسطة، وهي تلك النظرية الرسمية التي قام بيرتراند راسل (Bertrand Russell) بمناقشتها بالفعل عندما قدم مفارقته.

وقد تم تطوير نظرية المجموعات البديهية ردًا على هذه المحاولات المبكرة لدراسة نظرية المجموعات بهدف تحديد بدقة ما هي العمليات المسموحة ومتى تكون كذلك. وفي الوقت الحاضر، عندما تتحدث الرياضيات عن «نظرية المجموعات» كمجال فهي تعني عادةً نظرية المجموعات البديهية. وفي بعض الأحيان تتم الإشارة إلى التطبيقات غير الرسمية لنظرية المجموعات في المجالات الأخرى كتطبيقات «نظرية المجموعات المبسطة»، ولكن عادةً ما يتم فهمها بأنها مبرَرة من حيث النظام البديهي (عادةً نظرية زيرميلو–فرانكل للمجموعات (Zermelo–Fraenkel)).

إن نظرية المجموعات المبسطة ليست بالضرورة نظرية متضاربة، إذا قامت بشكل صحيح بتحديد المجموعات المسموح أخذها في الاعتبار. ويمكن القيام بذلك عن طريق وسائل التعريفات التي تعد بديهيات مفهومة ضمنًا. ويمكن القيام بذلك عن طريق جعل جميع البديهيات واضحة بشكل منتظم، كما هو الحال في الكتاب الشهير (نظرية المجموعات المبسطة) الذي كتبه بول هالموس، والذي يعد في الواقع إلى حد ما (ليس كليًا) عرضًا غير رسمي لـنظرية زيرميلو–فرانكل للمجموعات البديهية الاعتيادية. وهي توصف 'بالمبسطة' نظرًا لأن اللغة والرموز المستخدمة مأخوذة من الرياضيات غير الرسمية الاعتيادية، وأيضًا لأنها لا تتعامل مع اتساق أو شمولية النظام البديهي. ومع ذلك، يتم استخدام مصطلح نظرية المجموعات المبسطة أيضًا في بعض الأدبيات للإشارة إلى نظريات المجموعات التي بحثها فريج وكانتور، بدلاً من الإشارة إلى مثيلتها غير الرسمية من نظرية المجموعات البديهية الحديثة، كما يتطلب توخي الحذر لمعرفة أي معنى هو المقصود.

المجموعات، والعناصر، والمساواة
------------------------------

تتصف **المجموعة** في نظرية المجموعات المبسطة بأنها مجموعة من الكيانات القابلة للتعريف بشكل جيد. تسمى هذه الكيانات بـ**عوامل** أو **عناصر** المجموعة. ويمكن أن تكون هذه الكيانات: أعداد، أو أشخاص، أو مجموعات أخرى، إلخ. على سبيل المثال، يعد الرقم 4 عنصرًا في مجموعات جميع الأعداد الصحيحة الزوجية والفردية. وبشكل واضح، تعد مجموعة الأرقام الفردية والزوجية مجموعة كبيرة غير محدودة، ولا يوجد شرط بأن تكون المجموعة محدودة.

وإذا كان (*x*) عنصرًا من (*A*)؛ بالتالي يمكن القول إن (*x*) **ينتمي إلى** (*A*)، أو (*x*) يقع في (*A*). وفي هذه الحالة، نكتب *x* ∈ *A*.
(الرمز ∈ هو اشتقاق من الحرف اليوناني إبسيلون "ε" الذي قدمه بيانو (Peano) عام 1888.)
وأحيانًا يُستخدَم الرمز ∉ لكتابة *x* ∉ *A*، بمعنى أن «x لا يقع في A».

ويتم تعريف المجموعتين (*A*) و (*B*) على اعتبار أنهما **متساويان** عندما يحتويان على نفس العناصر بالضبط، بمعنى أن، إذا كان كل عنصر من (*A*) عنصرًا من (*B*) وكل عنصر من عناصر (*B*) هو عنصر من (*A*). (انظر بديهية الإضافة.) وبالتالي فإنه يتم تحديد المجموعة تمامًا عن طريق عناصرها، ولا يعد الوصف مهمًا. وعلى سبيل المثال، تعتبَر المجموعة التي تحتوي على الأرقام 2، و 3، و5 مساويةً للمجموعة التي تحتوي على جميع الأعداد الأولية الأقل من 6.
وإذا كانت المجموعتان (*A*) و (*B*) متساويتين، فإن ذلك يدل رمزيًا على *A* = *B* (كالمعتاد).

كما يمكن أيضًا السماح لـ**مجموعة خالية**، غالبًا ما يشار إليها بـØ وأحيانًا بـ{\displaystyle \{\}}:، أن تكون مجموعة بدون أي عناصر على الإطلاق.
ونظرًا لأنه يمكن تحديد المجموعة تمامًا عن طريق عناصرها، فإنه يمكن أن يكون هناك مجموعة واحدة خالية. (انظر بديهية المجموعة الخالية.) لاحظ أن Ø ≠ {Ø}.

المراجع
-------

1. ↑  Concerning the origin of the term *naive set theory*, Jeff Miller has this to say: "*Naïve set theory* (contrasting with axiomatic set theory) was used occasionally in the 1940s and became an established term in the 1950s. It appears in Hermann Weyl's review of P. A. Schilpp (ed) *The Philosophy of Bertrand Russell* in the *American Mathematical Monthly*, 53. No. 4. (1946), p. 210 and Laszlo Kalmar's review of *The Paradox of Kleene and Rosser* in *Journal of Symbolic Logic*, 11, No. 4. (1946), p. 136. (JSTOR)."  The term was later popularized by بول هالموس' book, *Naive Set Theory* (1960). نسخة محفوظة 03 نوفمبر 2017 على موقع واي باك مشين.

| * ع
* ن
* ت
المنطق الرياضي |
| --- |
| عام | 
* لغة شكلية
* تشكيل قاعدة
* نظام شكلي
* نظام شكلي
* برهان فلسفي
* دلالة الصورية (منطق)
* صيغة التشكيلية
* مجموعة (رياضيات)
* صنف (نظرية المجموعات)
* منطق كلاسيكي
* بديهية
* استنتاج طبيعي
* قاعدة الإستدلال
* علاقات
* مبرهنة
* استتباع منطقي
* نظام بديهي
* نظرية النمط
* رمز (شكلي)
* تركيب (منطق)
* نظرية (منطق رياضي)

 |
| منطق تقليدي | 
* قضية
* استدلال
* حجة منطقية
* صحة
* تفكير منطقي
* قياس (منطق)
* تعارض تربيعي
* مخطط فن

 |
| حساب القضايا - جبر بولياني | 
* دالة بول
* حساب القضايا
* قضية (منطق)
* رابطة منطقية
* جدول الحقيقة

 |
| منطق تحول | 
* منطق الرتبة الأولى
* الكم (منطق)
* محمول (منطق)
* منطق الرتبة الثانية
* Monadic predicate calculus

 |
| نظرية المجموعات المبسطة | 
* مجموعة (رياضيات)
* مجموعة خالية
* تعداد
* الماصدقية
* مجموعة منتهية
* مجموعة غير منتهية
* مجموعة جزئية
* مجموعة قوة
* مجموعة قابلة للعد
* مجموعة غير قابلة للعد
* مجموعة تكرارية
* مجال دالة
* مدى(رياضيات)
* تطبيق (رياضيات)
* دالة
* عملية ثنائية
* زوج مرتب

 |
| نظرية المجموعات | 
* أسس الرياضيات
* نظرية المجموعات حسب تسيرميلو-فرانكل
* بديهية الاختيار
* نظرية المجموعات العامة
* Kripke–Platek set theory
* Von Neumann–Bernays–Gödel set theory
* نظرية مجموعة مورس-كيلي
* Tarski–Grothendieck set theory

 |
| نظرية النموذج | 
* البنية (منطق رياضي)
* تأويل (منطق)
* Non-standard model
* نظرية نموذج تناهي
* قيمة الحقيقة
* صحة

 |
| نظرية البرهان | 
* برهان فلسفي
* نظام شكلي
* نظام شكلي
* مبرهنة
* استتباع منطقي
* علاقات متناهية
* تركيب (منطق)

 |
| نظرية الحاسوبية | 
* استدعاء ذاتي
* مدى(رياضيات)
* مجموعة مرقمة بشكل تراجعي
* مشكل القرار
* أطروحة تشرش-تورينغ
* دوال حسابية
* Primitive recursive function

 |

* أيقونة بوابةبوابة رياضيات