>> Обосновывают они его следующим аргументом [..] то x+y≠0).
Как-то странно аргументировать с одной стороны фактом, а с другой стороны удобством записи. Несколько неравноценные доводы получаются. Хотя, конечно, граничные случаи в большинстве своем так и сводятся не к вопросу "как есть", а "как удобно".