To be fair it's not too strange to consider both the natural numbers and the power sets to be to greater or lesser extents abstractions to allow us to reason about all the things we can logically put in one of them.

After all both of them are mostly full of things we will never need, encounter, or even be able to define.