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