You should probably use different variables for your first axiom, because T is a function of either two variables or a vector, but you are treating $x$ and $y$ there like they were real numbers; the $x$ and $y$ of the axiom are not the same as the $x$ and $y$ of T's defining equation, and I think you may be confusing them.