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

↑  Theory of Sets of Points, link from أرشيف الإنترنت نسخة محفوظة 16 يوليو 2017 على موقع واي باك مشين.
↑  Set Theory from Cantor to Cohen», Akihiro Kanamori, dans : Andrew Irvine et John H. Woods (éditeurs), The Handbook of the Philosophy of Science, volume 4, Mathematics, Cambridge University Press, 2008. نسخة محفوظة 04 أبريل 2012 على موقع واي باك مشين.
↑  Wittgenstein، Ludwig (1975). Philosophical Remarks, §129, §174. Oxford: Basil Blackwell. ISBN:0631191305.
| ع ن الفروع الأساسية في الرياضيات | ع ن الفروع الأساسية في الرياضيات |
| --- | --- |
 منطق رياضي  نظرية المجموعات  تركيبات  نظرية الأعداد  جبر تجريدي  جبر خطي  نظرية الزمر  هندسة رياضية  طوبولوجيا  هندسة تفاضلية  تحليل رياضي  تحليل دالي  تحليل حقيقي  تحليل عقدي  تحليل عددي  تفاضل شعاعي  معادلة تفاضلية  نظرية الاحتمالات  إحصاء  رياضيات الاستمثال :  منطق رياضي  نظرية المجموعات  تركيبات  نظرية الأعداد  جبر تجريدي  جبر خطي  نظرية الزمر  هندسة رياضية  طوبولوجيا  هندسة تفاضلية  تحليل رياضي  تحليل دالي  تحليل حقيقي  تحليل عقدي  تحليل عددي  تفاضل شعاعي  معادلة تفاضلية  نظرية الاحتمالات  إحصاء  رياضيات الاستمثال 
| ع ن فروع الرياضيات | ع ن فروع الرياضيات |
| --- | --- |
 تاريخ  مخطط  قائمة الرموز :  تاريخ  مخطط  قائمة الرموز 
أسس الرياضيات:  نظرية الفئة  نظرية المعلومات  منطق رياضي  فلسفة الرياضيات  نظرية المجموعات  نظرية النمط 
الجبر:  جبر مجرد  جبر تبادلي  جبر ابتدائي  نظرية الزمر  جبر خطي  جبر متعدد الخطية  جبر شامل  جبر تماثلي 
التحليل الرياضي:  تفاضل وتكامل  تحليل حقيقي  تحليل عقدي  تحليل فوق عقدي  معادلة تفاضلية  تحليل دالي  تحليل توافقي  نظرية القياس 
الرياضيات المتقطعة:  تركيبات  نظرية البيان  نظرية الترتيب 
الهندسة الرياضية:  هندسة جبرية  هندسة تحليلية  هندسة حسابية  هندسة تفاضلية  هندسة متقطعة  هندسة إقليدية  هندسة منتهية 
نظرية الأعداد:  حسابيات  نظرية الأعداد الجبرية  نظرية الأعداد التحليلية  هندسة ديفونتية 
الطوبولوجيا:  طوبولوجيا عامة  طوبولوجيا جبرية  طوبولوجيا تفاضلية  طوبولوجيا هندسية  نظرية التجانس 
الرياضيات التطبيقية:  رياضيات هندسية  علم الأحياء الرياضي  كيمياء رياضية  اقتصاد رياضي  رياضيات مالية  فيزياء رياضية  علم النفس الحسابي  علم الاجتماع الرياضي  إحصاء رياضي  نظرية الاحتمال  إحصاء  علم الأنظمة نظرية التحكم  نظرية الألعاب  بحوث العمليات 
الرياضيات المحوسبة:  علم الحاسوب  نظرية الحوسبة  نظرية التعقيد الحسابي  تحليل عددي  استمثال  حساب رمزي 
مواضيع ذات صلة:  عالم رياضيات  رياضيات غير رسمية  رياضيات مسلية  الرياضيات والفن  تعليم الرياضيات 
   تصنيف    بوابة    كومنز    ويكي مشروع :    تصنيف    بوابة    كومنز    ويكي مشروع 
| ع ن لانهاية (∞) | ع ن لانهاية (∞) |
| --- | --- |
تاريخيا:  controversy over cantor's theory 
فروع رياضيات:  داخل نظرية المجموعات  تحليل غير-نموذجي  نظرية المجموعات  تركيب الهندسة تفاضلية 
ترسيم لانهاية:  أعداد أصلية  أعداد واقعية  لانهاية + 1  أعداد ترتيبية  أعداد فوق حقيقية  أعداد فوق منتهية  متناهي الصغر 
علماء:  جورج كانتور  غوتفريد لايبنتس  ابراهام روبنسون 
| ع ن المنطق | ع ن المنطق |
| --- | --- |
مقالات رئيسية:  العقل الفلسفي  تاريخ المنطق  منطق فلسفي  منطق رياضي  ما بعد المنطق  فلسفة المنطق 
مفاهيم مفتاحية:  استنتاج  قياس  استقراء  منطق لاشكلي  افتراض  استدلال  حجة  تفكير نقدي  مغالطة  منطق رياضي  مجموعة  نحو  سيمانتيك  صيغة جيدة الشكل  مسلمة  مبرهنة  التماسك  نظرية كاملة  قابلية القرار  نظام شكلي  نظرية المجموعات  نظرية البرهان  نظرية النموذج  نظرية العودية  منطق الرتبة صفر  دالة بول  حسبان القضايا  جداول الحقيقة  منطق الرتبة الأولى  منطق الرتبة الثانية  منطق طوري  منطق إبستيمي  منطق ظرفي  أنواع منطقية لاكلاسيكية  منطق الحسوبية منطق ضبابي  منطق خطي 
جدليات:  مفارقة 
شخصيات أساسية:  أرسطو  جورج بول  جورج كانتور  رودولف كارناب  جوتلوب فريجه  كورت غودل  ديفيد هيلبرت  جوزيبه بيانو  شارل ساندرز پيرس  هيلاري پوتنام  بيرتراند راسل  ألفريد تارسكي  آلان تورنغ 
قوائم:  مواضيع أساسية  منطقيون  قواعد الاستدلال  منطق رياضي  رياضيات متقطعة  نظرية المجموعات  مفارقات  رموز منطقية 
| ع ن المنطق الرياضي | ع ن المنطق الرياضي |
| --- | --- |
عام:  لغة شكلية  تشكيل قاعدة  نظام شكلي  نظام شكلي  برهان فلسفي  دلالة الصورية (منطق)  صيغة التشكيلية  مجموعة (رياضيات)  صنف (نظرية المجموعات)  منطق كلاسيكي  بديهية  استنتاج طبيعي  قاعدة الإستدلال  علاقات  مبرهنة  استتباع منطقي  نظام بديهي  نظرية النمط  رمز (شكلي)  تركيب (منطق)  نظرية (منطق رياضي) 
منطق تقليدي:  قضية  استدلال  حجة منطقية  صحة  تفكير منطقي  قياس (منطق)  تعارض تربيعي  مخطط فن 
حساب القضايا - جبر بولياني:  دالة بول  حساب القضايا  قضية (منطق)  رابطة منطقية  جدول الحقيقة 
منطق تحول:  منطق الرتبة الأولى  الكم (منطق)  محمول (منطق)  منطق الرتبة الثانية  Monadic predicate calculus 
نظرية المجموعات المبسطة:  مجموعة (رياضيات)  مجموعة خالية  تعداد  الماصدقية  مجموعة منتهية  مجموعة غير منتهية  مجموعة جزئية  مجموعة قوة  مجموعة قابلة للعد  مجموعة غير قابلة للعد  مجموعة تكرارية  مجال دالة  مدى(رياضيات)  تطبيق (رياضيات)  دالة  عملية ثنائية  زوج مرتب 
نظرية المجموعات:  أسس الرياضيات  نظرية المجموعات حسب تسيرميلو-فرانكل  بديهية الاختيار  نظرية المجموعات العامة  Kripke–Platek set theory  Von Neumann–Bernays–Gödel set theory  نظرية مجموعة مورس-كيلي  Tarski–Grothendieck set theory 
نظرية النموذج:  البنية (منطق رياضي)  تأويل (منطق)  Non-standard model  نظرية نموذج تناهي  قيمة الحقيقة  صحة 
نظرية البرهان:  برهان فلسفي  نظام شكلي  نظام شكلي  مبرهنة  استتباع منطقي  علاقات متناهية  تركيب (منطق) 
نظرية الحاسوبية:  استدعاء ذاتي  مدى(رياضيات)  مجموعة مرقمة بشكل تراجعي  مشكل القرار  أطروحة تشرش-تورينغ  دوال حسابية  Primitive recursive function 
| 0 | 1 |
| --- | --- |
ضبط استنادي: وطنية :  المكتبة القومية الإسبانية (BNE)  المكتبة الوطنية الفرنسية (BnF)  الملف الاستنادي المتكامِل (GND)  المكتبة القومية الإسرائيلية (J9U)  مكتبة الكونغرس (LCNAF)  مكتبة لاتفيا الوطنية (LNB)  مكتبة البرلمان القومي الياباني (NDL)  قاعدة البيانات الوطنية التشيكية (NLCR AUT) 
بوابة رياضيات
بوابة نظرية المجموعات
بوابة منطق
دائرة واحدة ترمز للمجموعة A ودائرة ثانية ترمز للمجموعة B والمساحة الحمراء ترمز إلى اتحاد المجموعتين  A\cup B.
دائرة واحدة ترمز للمجموعة A ودائرة ثانية ترمز للمجموعة B والمساحة الحمراء ترمز إلى تقاطع المجموعتين  A\cap B.
دائرة واحدة ترمز للمجموعة A ودائرة ثانية ترمز للمجموعة B والمساحة الحمراء ترمز إلى الفرق المتماثل بين المجموعتين  A\Delta B.