intuitionistic mathematics
type: Concept
preferred label: ریاضیات شهودی @fa
related: Bishop constactivism

Bishop constactivism
type: Concept
broader: constructive mathematics
preferred label: ساخت‌گرایی بیشاپ @fa
related: intuitionistic mathematics
related: russian constactivism

russian constactivism
type: Concept
preferred label: ساخت‌گرایی روسی @fa
related: Bishop constactivism

constructive mathematics
type: Concept
narrower: Bishop constactivism
preferred label: ریاضیات ساختی @fa