[sapiol]

I emphasize: We can encode THE IDEA or THE ABSTRACTION of infinite sets with a finite set of symbols.