نظریه مجموعه‌ها
set theory
proof theory
نظریه برهان
مرتبه منطق
order of logic
first order structures
ساختارهای مرتبه‌اول
intuitionistic logic
منطق شهودگرایانه
many-valued logic
منطق چندمقدار
language
زبان
inductive logic
منطق استقرایی
symbolic logic
منطق نمادی
نظریه انواع
type theory
منطق صوری
formal logic
سازگاری
consistency
مسئله تصمیم
decision problem
semantic
معنا شناسی
فلسفه ریاضیات
philosophy of mathematics
definition
تعریف
محاسبه‌پذیری
computability
algebraic logic
منطق جبری
necessary and sufficient condition
شرط لازم و کافی
categorical logic
منطق رسته‌ای
general logic
منطق عمومی
منطق ریاضی
mathematical logic