Формалистский подход в математике — это один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. 23
Он возник в начале XX века в математической школе Гильберта в рамках попытки свести в единую систему строгие обоснования различных областей математики. 2
Суть формалистского подхода заключается в том, что ту или иную математическую теорию начинают формализовать, то есть задают конечный алфавит используемых символов, список аксиом и правил вывода, с помощью которых можно получить все результаты формализуемой математической теории. 1
Также под формалистским подходом в математике можно понимать соблюдение внешней формы при бессмысленном содержании. 1 Например, рассмотрение суммы бесконечной геометрической прогрессии, которая имеет смысл только в том случае, если число x по модулю меньше единицы, но для другого значения x, например -2, такая запись допустима, но бессмысленна, потому что ряд расходится. 1