Formalists believe that mathematics is simply a manipulation of symbols, and that the meaning of these symbols is irrelevant. The goal of formalism is to provide a purely syntactic foundation for mathematics, without any reference to meaning or objects.