numbers
type: Concept
preferred label: اعداد @fa
related: foundations of mathematics

axioms
type: Concept
broader: foundations of mathematics
preferred label: اصول بدیهی @fa

relations (mathematics)
type: Concept
broader: foundations of mathematics
preferred label: روابط (ریاضیات) @fa

mathematical formulas
type: Concept
broader: foundations of mathematics
preferred label: فرمول‌های ریاضی @fa

foundations of mathematics
type: Concept
alternative label: METAMATEMATICA
broader: mathematical logic
narrower: mathematical formulas
narrower: axioms
narrower: relations (mathematics)
preferred label: مبانی ریاضیات @fa
related: recursive theory
related: set theory
related: algorithms
related: undecidability theory
related: propositional calculus
related: proving
related: numbers
related: logical expressions
related: logical theory

algorithms
type: Concept
preferred label: الگوریتم‌ها @fa
related: foundations of mathematics

undecidability theory
type: Concept
preferred label: نظریه تصمیم‌ناپذیری @fa
related: foundations of mathematics

recursive theory
type: Concept
preferred label: نظریه بازگشتی @fa
related: foundations of mathematics

set theory
type: Concept
preferred label: نظریه مجموعه‌ها @fa
related: foundations of mathematics

propositional calculus
type: Concept
preferred label: حساب گزاره‌ها @fa
related: foundations of mathematics

logical expressions
type: Concept
preferred label: عبارت‌های منطقی @fa
related: foundations of mathematics

logical theory
type: Concept
preferred label: نظریه منطقی @fa
related: foundations of mathematics

mathematical logic
type: Concept
narrower: foundations of mathematics
preferred label: منطق ریاضی @fa

proving
type: Concept
preferred label: اثبات @fa
related: foundations of mathematics