Inəsəlmaɗ iyaɗ,sund Rudolf Carnaɗ, Alfred Tarski ad Haskell Curry, ijan imaɗinan sund amək ən almud iknan.