نظریه مجموعه‌ها
preferred label: set theory @en
type: Concept
related: تعریف

نظریه برهان
preferred label: proof theory @en
type: Concept
related: تعریف

مفهوم تعریف‌نشده
preferred label: undefiend concept @en
type: Concept
related: تعریف

اصطلاحات عمومی
preferred label: general terminology @en
type: Concept
narrower: تعریف

منطق عمومی
preferred label: general logic @en
type: Concept
related: تعریف

عبارت
preferred label: statement @en
type: Concept
related: تعریف

تعمیم
preferred label: generalization @en
type: Concept
related: تعریف

شرط
preferred label: condition @en
type: Concept
related: تعریف

تعریف به استقراء
preferred label: definition by induction @en
type: Concept
broader: تعریف

قضیه
preferred label: theorem @en
type: Concept
related: تعریف

تعریف
type: Concept
related: نتیجه
related: منطق جبری
related: نظریه برهان
related: نظریه مجموعه‌ها
related: قضیه
related: منطق عمومی
related: عبارت
related: پارادکس
related: مجموعه
related: تعمیم
related: مفهوم تعریف‌نشده
related: رده
related: شرط
related: شی منطقی
related: نظریه مدل
related: رابطه
related: محاسبه‌پذیری
narrower: تعریف به تجرید
narrower: تعریف بازگشتی
narrower: تعریف به استقراء
narrower: تعریف ضمنی
preferred label: definition @en
broader: اصطلاحات عمومی

نتیجه
preferred label: sequent @en
type: Concept
related: تعریف

منطق جبری
preferred label: algebraic logic @en
type: Concept
related: تعریف

پارادکس
preferred label: paradox @en
type: Concept
related: تعریف

مجموعه
preferred label: set @en
type: Concept
related: تعریف

رده
preferred label: class @en
type: Concept
related: تعریف

شی منطقی
preferred label: logical object @en
type: Concept
related: تعریف

نظریه مدل
preferred label: model theory @en
type: Concept
related: تعریف

رابطه
preferred label: relation @en
type: Concept
related: تعریف

محاسبه‌پذیری
preferred label: computability @en
type: Concept
related: تعریف

تعریف به تجرید
preferred label: definition by abstraction @en
type: Concept
broader: تعریف

تعریف بازگشتی
preferred label: recursive definition @en
type: Concept
broader: تعریف

تعریف ضمنی
preferred label: contextual definition @en
type: Concept
broader: تعریف