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

On 7/19/2024 9:53 AM, WM wrote:

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

 Your "abbreviating" is a quantifier shift.

Making it less visible doesn't make it prove anything.

Hint: Ax > 0: E^aleph_0 u: ... <=/=> E^aleph_0 u: Ax > 0: ...

>
That is not claimed by quantifier shifting
>

Your "abbreviating" is a quantifier shift.

Making it less visible doesn't make it prove anything.

[...] proven by the fact that
(0, oo) contains nothing but all x > 0.
Obviously it contains more than your x.

 Proof by "obviously".

You depended upon the unreliable quantifier shift
and wishing upon a star ("obviously").