Olter furmalist, cuma Rudolf Carnap, Alfred Tarski, e Haskell Curry, consideravan la matemategh cuma l’indagen süi sistèm de assiom furmai.