>>12075335He's implicitly using some kind of structured addition, (you could easily have the same sum equal a rectangle or lightning bolt or whatever), which is not congruent with the axioms used for addition. He needs to rigorously define this operation.
