برهان
preferred label: proof @en
type: Concept
related: ساخت‌گرایی روسی

ساخت‌گرایی روسی
related: برهان
related: زبان
related: الگوریتم
related: آنالیز ریاضی
related: مجموعه متناهی
related: مدل کریپکی
related: عدد حقیقی
related: ساخت‌گرایی بیشاپ
type: Concept
preferred label: russian constactivism @en
broader: ریاضیات ساختی

زبان
preferred label: language @en
type: Concept
related: ساخت‌گرایی روسی

الگوریتم
preferred label: algorithm @en
type: Concept
related: ساخت‌گرایی روسی

آنالیز ریاضی
preferred label: mathematical analysis @en
type: Concept
related: ساخت‌گرایی روسی

مجموعه متناهی
preferred label: finite set @en
type: Concept
related: ساخت‌گرایی روسی

مدل کریپکی
preferred label: Kripke model @en
type: Concept
related: ساخت‌گرایی روسی

عدد حقیقی
preferred label: real number @en
type: Concept
related: ساخت‌گرایی روسی

ساخت‌گرایی بیشاپ
preferred label: Bishop constactivism @en
type: Concept
related: ساخت‌گرایی روسی

ریاضیات ساختی
preferred label: constructive mathematics @en
type: Concept
narrower: ساخت‌گرایی روسی