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