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