Altris formaliscj, come Rudolf Carnap, Alfred Tarski, e Haskell Curry, a consideravin la matematiche come la ricercje dai sistemis assiomatics formai.