Other formalists, such as Rudolf Carnap, Alfred Tarski, and Haskell Curry, considered mathematics to be the investigation of formal axiom systems.
Para formalis siosan, sakadi Rudolf Carnap, Alfred Tarski, miwah Haskell Curry, mapineh matematika pinaka paseliksik sistem aksioma formal.