Re: Replacement of Cardinality

On 8/15/2024 12:44 PM, Moebius wrote:

Am 15.08.2024 um 17:53 schrieb Jim Burns:

I've just proved INVNUF(1) not.exists?

>
Mumbo-Jumbo.*)

Proven.to.be mumbo.jumbo.
Which is a whole different thing from
floating.around.the.universe mumbo.jumbo.

You can't prove that
there is no x e IR such that x = 1/0.
>
Beacuse you can't even USE "1/0" in
the statement you want to prove _just because_ the symbol "is undefined".

This is why I drone on and on about definitions:
If we give a definition of
what a non.existing thing allegedly is,
in a language which describes existing things,
we can prove by contradiction that
it isn't one of those existing things.
Translate  ¬∃ᴿx = 1/0
to  ¬∃ᴿx:  0⋅x = 1
Prove that.