Sininna formalis lainge, iyyanaritu Rudolf Carnap, Alfred Tarski, nennia Haskell Curry, nariaseng'i matematika sebagai papparessa sistem aksioma formal.