Re: The set of necessary FISONs

On 3/10/2025 3:49 PM, WM wrote:

On 10.03.2025 20:37, 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.

 Insufficient.

⎝ Therefore, this a property with no exceptions.
is
reliable.

>
Do you really expect that
your gobbledegook is of interest???

I expect you to know what a FISON,
a Finite Initial Segment Of Naturals,
is.

Z₀ is defined by induction:

I expect you to know what a proof.by.induction is.
I thought you (WM) might be interested to hear that
we can prove that proofs.by.induction are reliable
for FISONs.
But, how would I tell you that?
You don't know what it means.