Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.

Формализм возник в начале XX века в математической школе Гильберта в рамках попытки свести в единую систему строгие обоснования различных областей математики. Развивался сотрудниками (учениками) Гильберта Аккерманом, П. Бернайсом, фон Нейманом.

Подобный подход можно встретить и в физике, в рамках такого физического подхода учёные уже не одно столетие работают над созданием так называемой единой теории поля или теории всего. Предполагается, что с помощью данной теории можно будет соединить в одно единое целое четыре фундаментальный физических взаимодействия и на их основе вывести так называемое универсальное уравнение.

На данный момент многие проблемы связанные с формализацией физики и математики остаются нерешёнными.