قدرت (منطق ریاضی)

قدرت نسبی دو سیستم منطق را می‌توان از طریق نظریۀ مدل تعریف کرد. به‌طور خاص، یک منطق $\alpha$ به اندازه یک منطق $\beta$ قوی گفته می‌شود اگر هر کلاس ابتدایی در $\beta$ یک کلاس ابتدایی در $\alpha$ باشد.

جستارهای وابسته

• منطق انتزاعی
• قضیۀ لیندستروم