Other formalists, such as Rudolf Carnap, Alfred Tarski, and Haskell Curry, considered mathematics to be the investigation of formal axiom systems.
Inəsəlmaɗ iyaɗ,sund Rudolf Carnaɗ, Alfred Tarski ad Haskell Curry, ijan imaɗinan sund amək ən almud iknan.