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

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

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

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

منابع

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