Indeed! Funnily enough, there seems to be something similar going on between defining large finite numbers and defining large countable cardinals.