Re: Replacement of Cardinality

On 8/29/2024 9:34 AM, WM wrote:

Le 28/08/2024 à 16:00, FromTheRafters a écrit :

WM presented the following explanation :

The simplest definition is this:
A visible number can be expressed in decimals or binaries.

>
Can be? Or is? Or has previously been?

>
Is or has previously been.

And that supersedes 'can be'?

If not yet expressed in the system,
it is dark in the system.
But small dark numbers can become visisble.

If they can become visible,
then they are well.ordered and
have immediate successors and predecessors, except 0.
If they are well.ordered and
have immediate successors and predecessors, except 0,
then we can claim that
they are well.ordered and
have immediate successors and predecessors, except 0,
and it is true without exception.

(They have been called grey numbers.)

I am disappointed at the absence of
flying.rainbow.sparkle.numbers.