فرمالیسم
صورت‌گرایی
formalism
فلسفه ریاضیات
philosophy of mathematics