آنالیز ریاضی
mathematical analysis
عدد حقیقی
real number
algorithm
الگوریتم
Bishop constactivism
ساخت‌گرایی بیشاپ
russian constactivism
ساخت‌گرایی روسی
Kripke model
مدل کریپکی
constructive mathematics
ریاضیات ساختی
language
زبان
برهان
proof
finite set
مجموعه متناهی