قدرت (منطق ریاضی)
پرش به ناوبری
پرش به جستجو
قدرت نسبی دو سیستم منطق را میتوان از طریق نظریۀ مدل تعریف کرد. بهطور خاص، یک منطق به اندازه یک منطق قوی گفته میشود اگر هر کلاس ابتدایی در یک کلاس ابتدایی در باشد.
جستارهای وابسته
- منطق انتزاعی
- قضیۀ لیندستروم