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.
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.