اعداد
numbers
اصول بدیهی
axioms
روابط (ریاضیات)
relations (mathematics)
فرمول‌های ریاضی
mathematical formulas
METAMATEMATICA
مبانی ریاضیات
foundations of mathematics
الگوریتم‌ها
algorithms
نظریه تصمیم‌ناپذیری
undecidability theory
نظریه بازگشتی
recursive theory
نظریه مجموعه‌ها
set theory
propositional calculus
حساب گزاره‌ها
عبارت‌های منطقی
logical expressions
نظریه منطقی
logical theory
منطق ریاضی
mathematical logic
proving
اثبات