How are transfinite numbers "nonsensical"?
When you get into infinity, you have two notions of "number" that diverge. Mathematical operations on them do different things. (For example, cardinal "exponentiation" is the power set; ordinal "exponentiation" is something different and smaller.) One is size, but proper subsets can have the same size at infinity (integers, even numbers, rationals). That's where Aleph-0 (cardinality of the integers) and "c" (cardinality of the reals) come from. With cardinal infinities, you can't really do meaningful arithmetic because the field properties don't apply. "Infinity" violates the mathematical fact that x+1 != x, for example.
The other notion comes from the concept of a well-ordered set, which also maps nicely to "indexes" into possibly infinite lists. With this foundation, you have more options in terms of mathematical manipulations: you can add ordinals (but not always subtract them) and, because they pertain to list operations, the traditional "field" properties aren't always commutative. That's where we get ω, ω+1, ω^2, ω^ω, ε_0 and so on. Those all have rigorous definitions. For example, ω^2 is the order type of ordered pairs of numbers with lexicographic comparison:
(0, 0)
... and ω^ω is the order type of formal natural-number polynomials in one variable with lexicographic comparison:
0
Where things get messy is that the relationship between cardinal and ordinal numbers (more formally, what ordinal number has the same cardinality as the reals, or the continuum?) is, in fact,
formally undecidable. (Continuum Hypothesis). That doesn't mean no one has solved it. It means there's no mathematical way to refute or prove it from ZFC, the Zermelo-Frankel set axioms plus the Axiom of Choice. The CH is neither true nor false, insofar as one can have valid mathematics with or without it.
To put the above more succinctly, we know that the countable ordinals are a well-ordered set (totally ordered with a minimum) and since no set contains itself, that set is uncountable. It is, in fact, the smallest countable set (the ordinal numbers are totally ordered by the subset relation). That's called ω_1. Intuitively, we might hope that that's also the same "size" as the real numbers (we don't know of any smaller uncountable infinities, and we can't construct any). But there is no way to prove or refute whether that is true. Mathematics is valid either way; it has to "fork".
It's not "nonsensical". What it is is formal. It may or may not map to the real world. You can't actually perform Banach-Tarski (Axiom of Choice hack) on an orange, nor can you store a complete Hamel basis on your hard drive. But these concepts are still useful in defining our notion of what a "set", precisely, is.