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

'''قدرت''' نسبی دو سیستم [[منطق]] را می‌توان از طریق [[نظریه مدل|نظریۀ مدل]] تعریف کرد. به‌طور خاص، یک منطق <math>\alpha</math> به اندازه یک منطق <math>\beta</math> قوی گفته می‌شود اگر هر [[کلاس ابتدایی]] در <math>\beta</math> یک کلاس ابتدایی در <math>\alpha</math> باشد.

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

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

== منابع ==
<references group="" responsive="1"></references>
{{منطق ریاضی}}
[[رده:مفهوم‌ها در منطق]]
[[رده:منطق ریاضی]]
[[رده:نظریه مدل]]