Fair enough. We could have “number expressions” which denote the same number, like “ssss0“, “4”, “2+2”, “2*2”. Then the question of well-definedness is whether our method of computing addition gives the same result for each of these different number expressions.
Fair enough. We could have “number expressions” which denote the same number, like “ssss0“, “4”, “2+2”, “2*2”. Then the question of well-definedness is whether our method of computing addition gives the same result for each of these different number expressions.