intuitionistic mathematics
ریاضیات شهودی
Bishop constactivism
ساخت‌گرایی بیشاپ
russian constactivism
ساخت‌گرایی روسی
constructive mathematics
ریاضیات ساختی