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