Re: The set of necessary FISONs

On 17.02.2025 23:03, Jim Burns wrote:

In an inductive set with an only.inductive.subset,
there is no element which,
upon the removal of it and its priors,
all the elements -- or even _almost_ all --
have been removed.

Therefore such proofs are done by induction. They cover all elements.

 

Example:
If every human has an end,
then the human race need not have an end.
If every human has ended,
then the human race has ended.

 If each human ends
but, a day after they end, another has not ended,
then the human race does not end.

If every human has ended, then there is no other one.

 If there is a baton (named 'Bob') such that
each human receiving Bob passes it to
a human who ends a day or more after they end,
then,

Bob passes with the last one.

After all passes, Bob isn't.
Infinity isn't finite.
It isn't even almost finite.

Nevertheless: If all elements of a set have been omitted, then the set has been omitted.
Regards, WM