Hacker News new | ask | show | jobs
by eli_gottlieb 4620 days ago
>Does it makes sense in the real world to assert the existence of an infinite set, and have different sizes of infinities as a consequence?

Of course it does. It's very easy for me to write down a finite-sized inductive definition of the natural numbers, which immediately gives me a finite description of all countable infinities and their size.