Definitions HQ

An Equation (n.) like ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠5 + 7 = 12 is a rule for signs, saying which sign results from adding two others.

An Equation (n.) links ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠two concepts so that one can pass from one to the other: it builds a conceptual path.

An Equation (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠a rule of syntax, which is why mathematics can have no questions unanswerable in principle.

An Equation (n.) merely ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠marks the point of view from which I consider two expressions — their equivalence in meaning.

An Equation (n.) shows ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠the logic of the world as tautology does — and it is not needed to show that two expressions mean the same, since that can be seen from the expressions themselves.