Formalizm – kierunek w filozofii matematyki, będący formą rozwojową logicyzmu, który postuluje, że matematyka jest systemem formalnym, który zawiera aksjomaty (współcześnie rolę tę pełnią aksjomaty teorii mnogości), pewien zespół definicji oraz wyprowadza swoje wnioski w oparciu o te pojęcia korzystając z rachunku logicznego zdań.
Pogląd taki implikuje w szczególności kształt teorii dowodu matematycznego, wedle której prawdziwość twierdzenia matematycznego może być określona przez wyprowadzenie go w procesie rachunku logicznego zdań z przyjętych aksjomatów. W szczególności filozoficznym aspektem formalizmu w matematyce jest twierdzenie, że twierdzenia matematyczne nie niosą w sobie żadnej treści poza tą związaną z wykonanym w taki mechaniczny sposób kalkulacją. Innymi słowy prawdziwość twierdzeń matematycznych jest wedle tych poglądów oceniana z pominięciem ich treści (z pominięciem semantyki, a wyłącznie przy użyciu mechanicznej kalkulacji). Dowolne twierdzenie matematyki możliwe jest do wyprodukowania w procesie mechanicznej generacji zdań systemu formalnego.