Comment by chriswarbo

{1, 2, 3, 4} is also a set of real numbers. Why is it a valid existence proof of the naturals, but not the reals?