شهودگرایی
intuitionism
intuitionistic logic
منطق شهودگرایانه
فلسفه ریاضیات
philosophy of mathematics