القوة (المنطق الرياضي)

يمكن تحديد القوة النسبية لنظامين من أنظمة المنطق الصوري من خلال نظرية النماذج . على وجه التحديد، منطق${\displaystyle \alpha }$يقال إنه قوي كقوة المنطق${\displaystyle \beta }$إذا كان كل فصل دراسي ابتدائي في${\displaystyle \beta }$هي فئة ابتدائية في ${\displaystyle \alpha }$[ ^{1 ]​}

• المنطق المجرد
• نظرية ليندستروم