naive set theory
preferred label: نظریه مجموعه‌های طبیعی @fa
type: Concept
related: intuitionistic type theory

intuitionistic type theory
related: naive set theory
related: intuitionistic logic
broader: type theory
preferred label: نظریه انواع شهودی @fa
type: Concept

intuitionistic logic
preferred label: منطق شهودگرایانه @fa
type: Concept
related: intuitionistic type theory

type theory
preferred label: نظریه انواع @fa
type: Concept
narrower: intuitionistic type theory