نظریه مجموعه‌ها
set theory
proof theory
نظریه برهان
مفهوم تعریف‌نشده
undefiend concept
اصطلاحات عمومی
general terminology
منطق عمومی
general logic
عبارت
statement
تعمیم
generalization
شرط
condition
definition by induction
تعریف به استقراء
theorem
قضیه
تعریف
definition
relation
رابطه
class
رده
محاسبه‌پذیری
computability
algebraic logic
منطق جبری
set
مجموعه
paradox
پارادکس
recursive definition
تعریف بازگشتی
sequent
نتیجه
contextual definition
تعریف ضمنی
logical object
شی منطقی
نظریه مدل
model theory
تعریف به تجرید
definition by abstraction