Am Montag, 21. Juli 2014 14:09:48 UTC+2 schrieb Ben Bacarisse:
> I think WM gets the same limits as everyone else.
Of course. But here is not question about a limit. Here is the question about all natural numbers. Does the set |N exist? Is it the set of not more and not less than all natural numbers? Of course the answer is yes in set theory, irrespective of misunderstandings uttered by Martin Shobe and Zeitgeist.
Well, when all n in |N exist, then we can prove a bijection with the well-known sets s_n in S which also are existing: |N <--> S . Since all s_n are infinite sets, we see that all n are not capable of emptying these sets. There is no choice in interpreting the result.