باز کردن منو اصلی

در منطق ریاضی یک نگره(نظریه) مجموعهٔ جملات در زبان قراردادی و پیمانی است.

برای نمونه: یک نظریهٔ دسته یکم مجموعه‌ای از جملات دسته یکم است. بسیاری از نویسندگان می‌خواهند نظریه در دستاورد منطقی بسته باشد.

منابعویرایش

  • ویکی‌پدیای انگلیسی