نظرية المجموعات

نظرية المجموعات هيا فرع من فروع المنطق الرياضى اللى يدرس المجموعات ، اللى ممكن وصفها بشكل مش رسمى بأنها تجمعات من الأشياء. رغم إمكانية تجميع أى نوع من الأشياء فى مجموعة، نظرية المجموعات - كفرع من فروع الرياضيات - تهتم فى الغالب بتلك الأشياء اللى ليها صله بالرياضيات ككل.^[1]^[2] العالمان الرياضيان الألمانيان ريتشارد ديديكيندو جورج كانتور ابتدو الدراسة الحديثة لنظرية المجموعات فى سبعينات القرن التسعتاشر. وبيعتبر جورج كانتور، على وجه الخصوص، مؤسس نظرية المجموعات.^[3] معروفه الأنظمة اللى مش رسمية اللى دُرست خلال المرحله دى المبكرة باسم نظرية المجموعات الساذجة .^[4] بعد اكتشاف المفارقات ضمن نظرية المجموعات الساذجة ( زى مفارقة راسل ، ^[5] ومفارقة كانتور ، ^[6] ومفارقة بورالي-فورتى ، ^[7] و غيرها)، اقتُرحت أنظمة بديهية متنوعة فى أوائل القرن العشرين، ولسه نظرية زيرميلو-فرانكل للمجموعات (مع أو بدون بديهية الاختيار ) أشهرها و اكترها دراسة.^[8]

نظرية المجموعات بتستعمل بصوره كبيره كنظام أساسى لعلم الرياضيات برمته ، ^[9] بالخصوص فى صورة نظرية زيرميلو-فرانكل للمجموعات مع بديهية الاختيار.^[10] و لجانب دورها التأسيسي، يتُوفر نظرية المجموعات كمان إطار لتطوير نظرية رياضية للانهائية ، ^[11] ولها تطبيقات متنوعة فى علوم الكومبيوتر ( زى نظرية الجبر العلائقى )، ^[12]^[13] والفلسفة ، والدلالات الصورية ، ^[14] وديناميكيات التطور .^[15] و جعلت جاذبيتها التأسيسية، مع مفارقاتها ، وآثارها على مفهوم اللانهاية وتطبيقاتها المتعددة، من نظرية المجموعات مجال مهم بالغة لعلما المنطق وفلاسفة الرياضيات .^[4]^[16] ويغطى البحث المعاصر فى نظرية المجموعات طيف واسع من المواضيع، بدايه من بنية خط الأعداد الحقيقية وصول لدراسة اتساق الأعداد الكاردينالىة الكبيرة .^[1]

تاريخ

التاريخ المبكر

المفهوم الأساسى لتجميع الأشياء موجود من ظهور الأعداد على الأقل، ومفهوم التعامل مع المجموعات ككائنات مستقلة موجود من شجرة بورفيريوس فى القرن التالت الميلادى على الأقل.^[17] إن بساطة المجموعات وانتشارها الواسع يجعلان صعب تحديد أصلها كما بتستعمل اليوم فى الرياضيات؛ بس، بيعتبر كتاب برنارد بولزانو " مفارقات اللانهاية" ( Paradoxien des Unendlichen ، 1851) عموم أول تقديم دقيق للمجموعات فى الرياضيات. فى العمل ده ، قام (من أمور تانيه) بتوسيع مفارقة جاليليو ، وقدم مفهوم التناظر الأحادى بين المجموعات اللانهائية، زى بين الفترات. $[0,5]$ و $[0,12]$ عن طريق العلاقة $5y=12x$ بس، فقد رفض القول بأن دى المجموعات متساوية العدد ، وبيعتبر عمله عموم غير مؤثر فى الرياضيات فى عصره.^[18]^[19]

التعليم الرياضى

مع زيادة شعبية نظرية المجموعات كأساس للرياضيات الحديثة، كان فيه دعم لفكرة تقديم أساسيات نظرية المجموعات البسيطة فى وقت مبكر من تعليم الرياضيات .

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

نظرية المجموعات بتستعمل لتعريف الطلاب بالمعاملات المنطقية (ليس، و، أو)، والوصف الدلالى أو وصف القواعد ( التعريف القصدى تقنى) ^[20] للمجموعات ( زى "الأشهر اللى تبتدى بالحرف أ ")، و هو ممكن يكون مفيد عند تعلم برمجة الكومبيوتر ، نظر لاستخدام المنطق البوليانى فى لغات برمجة متنوعة. وبالمثل، المجموعات و غيرها من الكائنات الشبيهة بالمجموعات، زى المجموعات المتعددة والقوائم ، من أنواع البيانات الشائعة فى علوم الكومبيوتر والبرمجة.^[21]

بالإضافة لذلك، بتستعمل مجموعات معينة بشكل منتشر فى تدريس الرياضيات ( زى المجموعات $\mathbb {N}$ من الأعداد الطبيعية ، $\mathbb {Z}$ من الأعداد الصحيحة ، $\mathbb {R}$ (من الأعداد الحقيقية ، إلخ). بتستعمل دى المصطلحات فى العاده عند تعريف دالة رياضية كعلاقة من مجموعة ( المجال ) لمجموعة تانيه ( المدى ).^[22]

فهرس

بول هالموس ، نظرية المجموعة الساذجة ، 1960، دار سبرينجر.
توماس جيتش ، نظرية المجموعات، طبعة الألفية التالتة ، منقحة وموسعة. سبرينجر ، 2006، 772 صفحة. . نظرية المجموعات at كتب جوجل
ماثيو فورمان و أكيهيرو كانامورى (المحررين)، دليل نظرية المجموعات ، 2010، 2196 صفحة (للطباعة) (عبر الإنترنت)

شوف كمان

بوابة Mathematics

الفئة (نظرية المجموعات)
النظرية الأولية لفئة المجموعات
مسرد مصطلحات نظرية المجموعات
قائمة بمواضيع نظرية المجموعات
النموذج العلائقي – يستعير من نظرية المجموعات
نظرية المجموعات الهيكلية
مخطط فين

ملحوظات

الاقتباسات

1 2 Bagaria، Joan (31 يناير 2023) [October 8, 2014]. Zalta، Edward N.؛ Nodelman، Uri (المحررون). "Set Theory". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. اطلع عليه بتاريخ 2026-05-09.
↑ Ferreirós، José (3 ديسمبر 2025) [April 10, 2007]. Zalta، Edward N.؛ Nodelman، Uri (المحررون). "The Early Development of Set Theory". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. اطلع عليه بتاريخ 2026-05-09.
↑ Dauben، Joseph Warren (1990). Georg Cantor: His Mathematics and Philosophy of the Infinite. Princeton: Princeton University Press.
1 2 خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ Codd، E. F. (1972). "Relational Completeness of Data Base Sublanguages". في Rustin، Randall (المحرر). Data Base Systems: Courant Computer Science Symposia Series 6. Prentice-Hall. ص. 65–98.
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ Ferreirós، José (2024)، Zalta؛ Nodelman، Uri (المحررون)، The Early Development of Set Theory (ط. Winter 2024)، Metaphysics Research Lab, Stanford University، مؤرشف من الأصل في 2023-03-20، اطلع عليه بتاريخ 2025-01-04
↑ Bolzano، Bernard (1975)، Berg (المحرر)، Einleitung zur Größenlehre und erste Begriffe der allgemeinen Größenlehre، Bernard-Bolzano-Gesamtausgabe, edited by Eduard Winter et al.، Stuttgart, Bad Cannstatt: Friedrich Frommann Verlag، ج. II, A, 7، ص. 152، ISBN:3-7728-0466-7
↑ Frank Ruda (6 أكتوبر 2011). Hegel's Rabble: An Investigation into Hegel's Philosophy of Right. Bloomsbury Publishing. ص. 151. ISBN:978-1-4411-7413-0.
↑ خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
↑ Abbott, Stephen (2015). Understanding analysis (بالإنجليزية) (Second ed.). New York: Springer. p. 3. ISBN:978-1-4939-2711-1.

مراجع

خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
Ferreirós، Jose (2001)، Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics، Berlin: Springer، ISBN:978-3-7643-5749-8
Monk، J. Donald (1969)، Introduction to Set Theory، McGraw-Hill Book Company، ISBN:978-0-898-74006-6
Potter، Michael (2004)، Set Theory and Its Philosophy: A Critical Introduction، Oxford University Press، ISBN:978-0-191-55643-2
Smullyan، Raymond M.؛ Fitting، Melvin (2010)، Set Theory and the Continuum Problem، Dover Publications، ISBN:978-0-486-47484-7
Tiles، Mary (2004)، The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise، Dover Publications، ISBN:978-0-486-43520-6
خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).
Dauben، Joseph W. (1979). [Unavailable on archive.org] Georg Cantor: his mathematics and philosophy of the infinite. Boston: Harvard University Press. ISBN:978-0-691-02447-9.{{استشهاد بكتاب}}: صيانة الاستشهاد: ref duplicates default (link)
Kanamori، Akihiro (2003). The Higher Infinite (ط. 2nd). Springer-Verlag. ISBN:978-3-540-88866-6.

لينكات برانيه

نظرية المجموعات – صور وتسجيلات صوتيه و مرئيه على ويكيميديا كومونز
نظرية المجموعات على موقع كيورا - Quora
نظرية المجموعات معرف مخطط فريبيس للمعارف الحره
نظرية المجموعات معرف المكتبه الوطنيه الفرنسيه (BnF)
نظرية المجموعات معرف قاعده بيانات الضبط الوطنيه التشيكيه
نظرية المجموعات معرف مايكروسوفت اكاديمك
نظرية المجموعات معرف مكتبه الكونجرس (LCAuth)
نظرية المجموعات معرف مكتبه لاتفيا الوطنيه
نظرية المجموعات معرف ملف استنادى متكامل

"Axiomatic set theory". Encyclopedia of Mathematics. EMS Press. اطلع عليه بتاريخ 2026-05-12.
Bagaria، Joan. Zalta، Edward N. (المحرر). "Set Theory". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. اطلع عليه بتاريخ 2026-05-12.
Bell، John L. Zalta، Edward N. (المحرر). "The Axiom of Choice". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. اطلع عليه بتاريخ 2026-05-12.
Cunningham، Daniel. "Set Theory". Internet Encyclopedia of Philosophy. اطلع عليه بتاريخ 2026-05-12.
Ferreirós، José (2007) [1999]. Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics (ط. 2nd). Basel: Birkhäuser. ISBN:978-3-7643-8349-7.
Foreman، Matthew؛ Kanamori، Akihiro (المحررون). "Handbook of Set Theory". handbook.assafrinot.com. Unofficial index maintained by Assaf Rinot. اطلع عليه بتاريخ 2026-05-12.
Kennedy، Juliette. Zalta، Edward N. (المحرر). "Kurt Gödel". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. اطلع عليه بتاريخ 2026-05-12.
Koellner، Peter. Zalta، Edward N. (المحرر). "The Continuum Hypothesis". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. اطلع عليه بتاريخ 2026-05-12.
Koellner، Peter. Zalta، Edward N. (المحرر). "Large Cardinals and Determinacy". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. اطلع عليه بتاريخ 2026-05-12.
"Set theory". Encyclopedia of Mathematics. EMS Press. اطلع عليه بتاريخ 2026-05-12.
"Set Theory". nLab. اطلع عليه بتاريخ 2026-05-12.
Weisstein، Eric W. "Set Theory". MathWorld. Wolfram Research. اطلع عليه بتاريخ 2026-05-12.
"Zermelo–Fraenkel set theory". Encyclopedia of Mathematics. EMS Press. اطلع عليه بتاريخ 2026-05-12.

قالب:Set theory

قالب:Logic قالب:Mathematical logic

[bagaria1-1] 1 2 Bagaria، Joan (31 يناير 2023) [October 8, 2014]. Zalta، Edward N.؛ Nodelman، Uri (المحررون). "Set Theory". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. اطلع عليه بتاريخ 2026-05-09.

[ferreiros1-2] Ferreirós، José (3 ديسمبر 2025) [April 10, 2007]. Zalta، Edward N.؛ Nodelman، Uri (المحررون). "The Early Development of Set Theory". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. اطلع عليه بتاريخ 2026-05-09.

[dauben1-3] Dauben، Joseph Warren (1990). Georg Cantor: His Mathematics and Philosophy of the Infinite. Princeton: Princeton University Press.

[kanamori1-4] 1 2 خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[5] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[6] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[moore1-7] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[8] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[dzamonja1-9] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[feferman1-10] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[ferreiros2-11] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[codd1-12] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[Codd2-13] Codd، E. F. (1972). "Relational Completeness of Data Base Sublanguages". في Rustin، Randall (المحرر). Data Base Systems: Courant Computer Science Symposia Series 6. Prentice-Hall. ص. 65–98.

[montague1-14] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[Tarnita1-15] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[maddy1-16] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[17] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[18] Ferreirós، José (2024)، Zalta؛ Nodelman، Uri (المحررون)، The Early Development of Set Theory (ط. Winter 2024)، Metaphysics Research Lab, Stanford University، مؤرشف من الأصل في 2023-03-20، اطلع عليه بتاريخ 2025-01-04

[19] Bolzano، Bernard (1975)، Berg (المحرر)، Einleitung zur Größenlehre und erste Begriffe der allgemeinen Größenlehre، Bernard-Bolzano-Gesamtausgabe, edited by Eduard Winter et al.، Stuttgart, Bad Cannstatt: Friedrich Frommann Verlag، ج. II, A, 7، ص. 152، ISBN:3-7728-0466-7

[Ruda2011-20] Frank Ruda (6 أكتوبر 2011). Hegel's Rabble: An Investigation into Hegel's Philosophy of Right. Bloomsbury Publishing. ص. 151. ISBN:978-1-4411-7413-0.

[21] خطأ لوا في وحدة:Citation/CS1/Identifiers على السطر 569: attempt to index field 'extended_registrants_t' (a nil value).

[22] Abbott, Stephen (2015). Understanding analysis (بالإنجليزية) (Second ed.). New York: Springer. p. 3. ISBN:978-1-4939-2711-1.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

ع ن ت فروع الرياضيات
تاريخ مخطط لستة الرموز الرياضيه
اسس الرياضيات	نظرية الفئة نظرية المعلومات المنطق الرياضى فلسفة الرياضيات نظرية المجموعات نظرية النمط
جبر	جبر مجرد جبر تبادلى جبر ابتدائى نظرية المجموعه جبر خطى جبر متعدد الخطية جبر شامل جبر تماثلى
التحليل الرياضى	تفاضل وتكامل تحليل حقيقى تحليل عقدى تحليل فوق عقدى معادله تفاضليه تحليل دالى تحليل توافقى نظرية القياس
الرياضيات المتقطعة	توافيقيات نظرية البيان نظرية الترتيب
الهندسة الرياضية	هندسة جبرية هندسة تحليلية هندسة حسابية هندسة تفاضلية هندسة متقطعة هندسة إقليدية هندسة منتهية
نظريه الاعداد	حساب نظرية الأعداد الجبرية نظرية الأعداد التحليلية هندسة ديفونتية
طوبولوجيا	طوبولوجيا عامة طوبولوجيا جبرية طوبولوجيا تفاضلية طوبولوجيا هندسية نظرية التجانس
الرياضيات التطبيقية	رياضيات هندسية علم الأحياء الرياضى كيمياء رياضية اقتصاد رياضى رياضيات مالية فيزياء رياضية علم النفس الحسابى علم الاجتماع الرياضى احصاء رياضى نظرية الاحتمال احصا علم الأنظمة نظرية التحكم نظرية الألعاب بحوث العمليات
رياضيات كومبيوتر	علم الكمبيوتر نظرية الكومبيوتر نظرية التعقيد الحسابى تحليل عددى استمثال حساب رمزى
مواضيع متصله	عالم رياضيات رياضيات غير رسمية رياضيات مسلية الرياضيات و الفن تعليم الرياضيات

ظبط استنادى
دوليه	الملف الاستنادى المتكامل (GND)
وطنيه	مكتبة الكونجرس (LCNAF) المكتبه الوطنيه الفرنسيه (BnF) المكتبه الوطنيه الفرنسيه (BnF Data) مكتبة البرلمان القومى اليابانى (NDL) الضبط الاستنادى فى قاعدة البيانات الوطنيه التشيكيه (NLCR AUT) المكتبه القوميه الاسبانيه (datos.BNE.es) مكتبة لاتفيا الوطنيه (LNB) المكتبه القوميه فى اسرائيل (J9U)
غيرها	لكس فى ييل