• That proof for the order of operations sure seems to rely a lot on our current order of operations

      Doesn’t use order of operations at all. It only uses the definitions of the operators. i.e. 3x4=3+3+3+3 by definition. i.e. nothing to do with order of operations.

      If I have 1 2l bottle of milk, and 4 3l bottles of milk, how many litres of milk do I have? It can be solved by simply adding them up - again, nothing to do with order of operations here, just simple addition. Now, write it out as a mathematical expression which uses multiplication, and tell me which order of operations gets you the right answer. Voila! Welcome to how we worked out what the order of operations rules had to be.