Autri furmalisti, comu Rudolf Carnap, Alfred Tarski e Haskell Curry, cunzidiràvanu la matimàtica na mmistigazziuni di sistemi assiumàtici furmali.