“Haskell Curry afassar almaɣna n matematik as t amos ɣas “”sians n sistem tan n rasmiyin””