@bolshoi, "p implies q" is always true if p is false, so while your statement is true, it is trivially so, and has nothing to do with your point, because you could NOT count the integers in one second, or in any amount of time (FACT). This is very awkward for you, I must say, because you have made, throughout, our ability to actually attain to a number the criterion of whether it deserves to be counted a number, but by your standards, the integers themselves should not be. (Past maybe 10^30 or so).