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