I wonder if someone explored this before.

As you know there are non-commutative branches of math that deal with A+B not equal B+A kind of stuff and they clash our intuition, but they are still here. Imagine a math in which A=B, but it doesn't necessary mean B=A. Is it even possible to build such a math system?