{mathematical intuitionism} [ریاضی] مکتبی در فلسفۀ ریاضی که براساس آن ریاضیات نمیتواند ویژگی های اغلب مجموعه های نامتناهی را در بر گیرد و فقط گزاره هایی موجه اند که بتوان اثبات پذیری آنها را با روش های متناهی نشان داد
