In set theory we have a thing called
bijection, which happens when a different set have the same elements of another set.
Adding a "finite bijected set" will indeed create a bigger element but adding infinite bijected set will only lead to a already mapped element as both not only have a established bijection but it also pretty much holds all possible numbers on the domain of function (think of it as it's concept) to create a new non-mapped element.
So for an infinite 4d thing here to be 5d you need it to atleast create an a=b amount of this infinite realms.
Anyways I disagree, for reasons above.