Atri formalisti, comme Rudolf Carnap, Alfred Tarski e Haskell Curry conscideran a matematica comme l’investigaçion do scistema di asciömi formali.