А если строго математически?
Это зависит от того, что Вы понимаете под "строго математически". Дело в том, что доказательство "из ничего" невозможно, всегда есть какие-то исходные предположения. Если речь идёт об арифметике натуральных чисел, наверное, следует взять аксиомы арифметики и посмотреть, как из них выводится коммутативность умножения. Устроит это Вас, или Вы будете выяснять, почему эти аксиомы верны?