naive set theory
نظریه مجموعه‌های طبیعی
intuitionistic logic
منطق شهودگرایانه
نظریه انواع
type theory
intuitionistic type theory
نظریه انواع شهودی