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