Sujet : Re: There is a first/smallest integer (in Mückenland)
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 19. Jul 2024, 14:53:15
Autres entêtes
Organisation : Nemoweb
Message-ID : <42h5zWzSHgfN_aLCfJwhi7cIImI@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
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
…