No it is not. Have you ever studied logic? Equality is a relation. Assignment does not make much sense if you don't elaborate what you're trying to say. For exa

No it is not. Have you ever studied logic? Equality is a relation. Assignment does not make much sense if you don't elaborate what you're trying to say. For example, we can assign 1 := S(0), 2 := S(S(0))... in the metatheory so that we can meaningfully use 1, 2 ... in the theory. It is also sometimes denoted with =_{def} and some books use = for this type of assignment and \dot{=} (= with dot on top) for the equality relation inside the theory. Either way, you're not right.