بوابة:نظرية المجموعات/قوالب

الفروع الأساسية في الرياضيات

ع ن ت لانهاية ( $\infty$ )
تاريخيا	controversy over cantor's theory
فروع رياضيات	داخل نظرية المجموعات تحليل غير-نموذجي نظرية المجموعات تركيب الهندسة تفاضلية
ترسيم لانهاية	أعداد أصلية أعداد واقعية لانهاية + 1 أعداد ترتيبية أعداد فوق حقيقية أعداد فوق منتهية متناهي الصغر
علماء	جورج كانتور غوتفريد لايبنتس ابراهام روبنسون

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