Re: The set of necessary FISONs

On 3/10/2025 2:11 PM, WM wrote:

On 10.03.2025 18:47, Jim Burns wrote:

On 3/10/2025 1:20 PM, WM wrote:

On 10.03.2025 17:31, Jim Burns wrote:

For example, here:
⎛ A  FISON is linearly ordered,
⎜ begins at 0, ends at a FISON.end,

>
That is sufficient.

>
The real interval [0,x] is linearly ordered,
begins at 0, and,
if [0,x] is a FISON, ends at a FISON.end.

>
Why can't you stay with the topic?!

I am with this topic:
Does Wolfgang Mückenheim know what a FISON is?
Apparently not.

Peano and Zermelo and Cantor and I
describe infinitely.many.

>
Yes, without end.

>
The descriptions end.

 The sets don't.

Because _the claims_ are finitely.many,
if there is a false claim,
then there is a first.false claim.

Because _the claims_ are finitely.many,
if there is a false claim,
then there is a first.false claim.