>>27213The accepted answer to those questions is yes, it's a whole subfield of study in contemporary math.
https://en.wikipedia.org/wiki/The_Higher_InfiniteThere are more meaningful types of "infinities" than is possible to immediately conceptualize, probably more than a human can conceptualize at all
As for natural numbers, it's just induction right? For each there's always one bigger by one, no need to invoke infinity. For a finitist, this will just mean that any number you think of, you can think of one +1 bigger than that. No need to concern yourself with infinity here I think, if you don't want to.