نگره (منطق ریاضی)
از ویکیپدیا، دانشنامهٔ آزاد
در منطق ریاضی یک نگره(نظریه) مجموعهٔ جملات در زبان قراردادی و پیمانی است.
برای نمونه: یک نظریهٔ دسته یکم مجموعهای از جملات دسته یکم است. بسیاری از نویسندگان میخواهند نظریه در دستاورد منطقی بسته باشد.
 |
این یک نوشتار خُرد است. با گسترش آن به ویکیپدیا کمک کنید. |
[ویرایش] منابع
- ویکیپدیای انگلیسی
