[Sharlin]

The funny thing is, according to infinitists real numbers are not real. But I do like the concept of the set of actual numbers.

[hnfong]

I don't know whether I'm an infinitist, but I personally think "real numbers" is the most ingenious marketing term created by mathematicians...