Modern formalists, such as Rudolf Carnap, Alfred Tarski and Haskell Curry, continue to maintain that mathematics is the investigation of formal axiom systems.
Para formalis siosan, sakadi Rudolf Carnap, Alfred Tarski, miwah Haskell Curry, mapineh matematika pinaka paseliksik sistem aksioma formal.