Transfinite numbers, introduced by Georg Cantor, extend the concept of counting beyond finite numbers to describe different sizes of infinity. They are used to compare the cardinality of infinite sets, distinguishing between countable and uncountable infinities.