Addition is defined in such a way that the universe it's performed in doesn't matter (in fact, no universe is required at all), which is true for most if not all of formal mathematics. See set theory 101 for the very beginning on how's that possible.