For anyone unfamiliar, it’s punning on math having its own definition of “countable”, meaning able to be put into a one-to-one correspondence with the natural numbers (positive integers).
The real numbers, as a set, are not countable in that context (Cantor’s diagonal argument is a famous and rather elegant proof), even though they are countable in the sense that grammar rules refer to.