Bubuhan pamikir formal nang lain, kaya Rudolf Carnap, Alfred Tarski, lawan Haskell Curry, maanggap matematika tu panalitian dari sistem formal nang bujur.