Para Formalis laen, lagee Rudolf Carnap, Alfred Tarski, ngen Haskell Curry, geuanggap matematik seubagoe peusudi sistem aksioma formal.