Well, you didn't. You stated that the definition "A set S is infinite if and only if there exists a bijection between S and a proper subset of S." i.e. sets with transfinite cardinality accounts for the pre-formal concept of "infinity", which it doesn't. Lakoff and Núñez provide a cognitive, metaphor-based analysis which is much more comprehensive.