Àteros formalistas, comente Rudolf Carnap, Alfred Tarski e Haskell Curry, cunsideraiant sa matemàtica comente sa chirca subra de sos sistemas assiomàticos formales.