One can at least say that in formal ZFC the symbol "=" has exactly one interpretation. And it's this interpretation that people talking about Haskell are referring to.