Ambue formalista, ha'ekuaáva Rudolf Carnap, Alfred Tarski ha Haskell Curry, he'i va'ekue matemática ha'eha jeporeka umi sistema de axioma formal rehegua.