Inksi formaliści, tacy jak Rudolf Carnap, Alfred Tarski i Haskell Curry, uwożali matymatyka za badanie formalnych systymōw aksjōmatōw.