Math is mostly about exploring the consequences of alternative definitions for notions we take for granted. In this case, it is the equality notion that is used

Math is mostly about exploring the consequences of alternative definitions for notions we take for granted. In this case, it is the equality notion that is used in a different fashion