Altri formałisti, come Rudolf Carnap, Alfred Tarski e Haskell Curry, considerava ła matematica come l’indaxine de i sistemi asiomatici formałi.