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