Isn't Subtraction the Same as Subtraction?

In the system that hea showed, which ise perfectly consistent, and there's not one unique answer. And when it comes to questions that look like the thenof inverse of addition, which ve in arithmetic, an subtraction. So there's a failure of uniqueness there. What we're doing isn't subtraction. It's taking a set, taking another set that's exactly te copy of the first one, but without three of the the members,. rigt te ning, and just asking, what's left in this set? Now, in normal arithmetic, that is subtraction. But in trans finite arithmetic, for technical reasons, that doesn't give you a nice function that