Does Buzz Lightyear know about transfinite numbers?