Re: There is a first/smallest integer (in Mückenland)

Le 18/07/2024 à 23:35, Moebius a écrit :

Am 18.07.2024 um 23:12 schrieb WM:

Le 18/07/2024 à 17:44, Moebius a écrit :
 

         NUF(x) = aleph_0   for all x e IR, x > 0 ,

 That means

 that for each and every x e IR, x > 0 there are aleph_0 unit fractions which are <= x.

Then we can abbreviate each and every x > 0 by (0, oo).

 Ich glaube, das hat man Dir jetzt schon so um die 500- bis 1000-mal erklärt, Mückenheim.
 Hint: Ax > 0: E^aleph_0 u: ... <=/=> E^aleph_0 u: Ax > 0: ...

That is not claimed by quantifier shifting but proven by the fact that (0, oo) contains nothing but all x > 0. Obviously it contains more than your x. What could that be?
Regards, WM