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

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

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

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