Sujet : Re: There is a first/smallest integer (in Mückenland)
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 20. Jul 2024, 13:54:10
Autres entêtes
Organisation : Nemoweb
Message-ID : <3sEb2j-VtbN1xAAhbDb91PvBk78@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 19/07/2024 à 21:59, Moebius a écrit :
Am 19.07.2024 um 20:52 schrieb Jim Burns:
Your "abbreviating" is a quantifier shift.
Right.
My theorem: X is left-hand side of every x > 0 <==> X is left-hand side of (0, oo).
Find a counter example or accept it.
If you believe it can be interpreted as a quantifier shift, then note that not every quantifier shift produces a wrong result. Example: see above.
Regards, WM