Para formalis siosan, sakadi Rudolf Carnap, Alfred Tarski, miwah Haskell Curry, mapineh matematika pinaka paseliksik sistem aksioma formal.