Otros formalistas, como Rudolf Carnap, Alfred Tarski y Haskell Curry, consideraban que la matemática es la investigación de sistemas axiomáticos formales.