المنطق المجرد

في المنطق الرياضي ، المنطق المجرد هو نظام رسمي يتكون من فئة من الجمل وعلاقة إرضاء ذات خصائص محددة تتعلق بالظهور والتوسع والتماثل وإعادة التسمية والكمية. ^{[ 1 ]}

استنادًا إلى توصيف ليندستروم ، فإن منطق الرتبة الأولى هو، حتى التكافؤ، المنطق المجرد الوحيد الذي يكون مضغوطًا قابلًا للعد وله عدد لوفنهايم ω. ^{[ 2 ]}

• المنطق الجبري المجرد – جانب من جوانب المنطق الرياضي 
• نظرية النموذج المجرد
• عدد لوفنهايم – أصغر عدد أصلي تنطبق عليه نظرية لوفنهايم-سكوليم الضعيفة للأسفل 
• نظرية ليندستروم – نظرية في المنطق الرياضي 
• المنطق الكلي – فرع من فروع المنطق يدرس الخصائص المشتركة بين جميع الأنظمة المنطقية