مسلمة (فلسفة)
مراجع

1 2  المعجم الموحد لمصطلحات الرياضيات والفلك: (إنجليزي - فرنسي - عربي)، سلسلة المعاجم الموحدة (3) (بالعربية والإنجليزية والفرنسية)، تونس: مكتب تنسيق التعريب، 1990، ص. 18، OCLC:4769958475، QID:Q114600477
1 2 3  أحمد شفيق الخطيب (2001). قاموس العلوم المصور: بالتعريفات والتطبيقات: إنجليزي - عربي (بالعربية والإنجليزية) (ط. 1). بيروت: مكتبة لبنان ناشرون. ص. 42. ISBN:978-9953-10-218-4. OCLC:50131139. QID:Q124741809.
↑  [أ] مجدي وهبة؛ كامل المهندس (1984)، معجم المصطلحات العربية في اللغة والأدب (ط. 2)، بيروت: مكتبة لبنان ناشرون، ص. 77، OCLC:14998502، QID:Q114811596
[ب] المعجم الفلسفي (بالعربية والإنجليزية والفرنسية)، القاهرة: مجمع اللغة العربية بالقاهرة، 1983، ص. 31، OCLC:493145768، QID:Q113502913
[جـ] عبد المنعم الحفني (2000)، المعجم الشامل لمصطلحات الفلسفة (بالعربية والإنجليزية والفرنسية والألمانية والروسية واللاتينية واليونانية والعبرية) (ط. 3)، القاهرة: مكتبة مدبولي، ص. 150، OCLC:956967719، QID:Q113192426
[د] أحمد رياض تركي، المحرر (1968)، المعجم العلمي المصور (بالعربية والإنجليزية)، القاهرة: الجامعة الأمريكية بالقاهرة، ص. 36، OCLC:18795017، QID:Q123644307
↑  نور الدين خليل (2008). قاموس الأديان الكبرى الثلاثة: اليهودية والمسيحية والإسلامية (بالعربية والإنجليزية). مراجعة: محمود آدم. الإسكندرية: مؤسسة حورس الدولية للطباعة والنشر. ص. 62. ISBN:978-977-368-087-9. OCLC:166560426. OL:45068455M. QID:Q125055340.
↑  معجم الرياضيات (بالعربية والإنجليزية)، القاهرة: مجمع اللغة العربية بالقاهرة، ج. 1، 1995، ص. 119، QID:Q120333811
↑  [أ] موفق دعبول؛ بشير قابيل؛ مروان البواب؛ خضر الأحمد (2018)، معجم مصطلحات الرياضيات (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 44، OCLC:1369254291، QID:Q108593221
[ب] ميشال إبراهيم ساسين؛ رامي أبو سليمان؛ فادي فرحات (2007). قاموس المصطلحات العلمية: فيزياء - كيمياء - رياضيات (إنكليزي - فرنسي - عربي) مع مسرد ألفبائي بالألفاظ الفرنسية (بالعربية والإنجليزية والفرنسية) (ط. 1). بيروت: دار الكتب العلمية. ص. 50. ISBN:978-2-7451-5445-3. OCLC:929661320. OL:53616244M. QID:Q120799140.
↑  معجم اللغة العربية المعاصر
↑  تعريفات الجرجاني
| ع ن المنطق الرياضي | ع ن المنطق الرياضي |
| --- | --- |
عام:  لغة شكلية  تشكيل قاعدة  نظام شكلي  نظام شكلي  برهان فلسفي  دلالة الصورية (منطق)  صيغة التشكيلية  مجموعة (رياضيات)  صنف (نظرية المجموعات)  منطق كلاسيكي  بديهية  استنتاج طبيعي  قاعدة الإستدلال  علاقات  مبرهنة  استتباع منطقي  نظام بديهي  نظرية النمط  رمز (شكلي)  تركيب (منطق)  نظرية (منطق رياضي) 
منطق تقليدي:  قضية  استدلال  حجة منطقية  صحة  تفكير منطقي  قياس (منطق)  تعارض تربيعي  مخطط فن 
حساب القضايا - جبر بولياني:  دالة بول  حساب القضايا  قضية (منطق)  رابطة منطقية  جدول الحقيقة 
منطق تحول:  منطق الرتبة الأولى  الكم (منطق)  محمول (منطق)  منطق الرتبة الثانية  Monadic predicate calculus 
نظرية المجموعات المبسطة:  مجموعة (رياضيات)  مجموعة خالية  تعداد  الماصدقية  مجموعة منتهية  مجموعة غير منتهية  مجموعة جزئية  مجموعة قوة  مجموعة قابلة للعد  مجموعة غير قابلة للعد  مجموعة تكرارية  مجال دالة  مدى(رياضيات)  تطبيق (رياضيات)  دالة  عملية ثنائية  زوج مرتب 
نظرية المجموعات:  أسس الرياضيات  نظرية المجموعات حسب تسيرميلو-فرانكل  بديهية الاختيار  نظرية المجموعات العامة  Kripke–Platek set theory  Von Neumann–Bernays–Gödel set theory  نظرية مجموعة مورس-كيلي  Tarski–Grothendieck set theory 
نظرية النموذج:  البنية (منطق رياضي)  تأويل (منطق)  Non-standard model  نظرية نموذج تناهي  قيمة الحقيقة  صحة 
نظرية البرهان:  برهان فلسفي  نظام شكلي  نظام شكلي  مبرهنة  استتباع منطقي  علاقات متناهية  تركيب (منطق) 
نظرية الحاسوبية:  استدعاء ذاتي  مدى(رياضيات)  مجموعة مرقمة بشكل تراجعي  مشكل القرار  أطروحة تشرش-تورينغ  دوال حسابية  Primitive recursive function 
| ع ن المنطق | ع ن المنطق |
| --- | --- |
مقالات رئيسية:  العقل الفلسفي  تاريخ المنطق  منطق فلسفي  منطق رياضي  ما بعد المنطق  فلسفة المنطق 
مفاهيم مفتاحية:  استنتاج  قياس  استقراء  منطق لاشكلي  افتراض  استدلال  حجة  تفكير نقدي  مغالطة  منطق رياضي  مجموعة  نحو  سيمانتيك  صيغة جيدة الشكل  مسلمة  مبرهنة  التماسك  نظرية كاملة  قابلية القرار  نظام شكلي  نظرية المجموعات  نظرية البرهان  نظرية النموذج  نظرية العودية  منطق الرتبة صفر  دالة بول  حسبان القضايا  جداول الحقيقة  منطق الرتبة الأولى  منطق الرتبة الثانية  منطق طوري  منطق إبستيمي  منطق ظرفي  أنواع منطقية لاكلاسيكية  منطق الحسوبية منطق ضبابي  منطق خطي 
جدليات:  مفارقة 
شخصيات أساسية:  أرسطو  جورج بول  جورج كانتور  رودولف كارناب  جوتلوب فريجه  كورت غودل  ديفيد هيلبرت  جوزيبه بيانو  شارل ساندرز پيرس  هيلاري پوتنام  بيرتراند راسل  ألفريد تارسكي  آلان تورنغ 
قوائم:  مواضيع أساسية  منطقيون  قواعد الاستدلال  منطق رياضي  رياضيات متقطعة  نظرية المجموعات  مفارقات  رموز منطقية 
بوابة تاريخ العلوم
بوابة رياضيات
بوابة فلسفة
بوابة منطق