Re: The set of necessary FISONs

On 17.02.2025 21:36, joes wrote:

Am Mon, 17 Feb 2025 20:40:47 +0100 schrieb WM:

On 16.02.2025 21:56, Jim Burns wrote:

On 2/16/2025 6:18 AM, WM wrote:

>

All elements can be omitted.
The set can be omitted.

The set is not an element.

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

Exactly.

If every human has ended, then the human race has ended.

If. Induction doesn’t prove that.

But it is obviously true.
Induction, as applied by Zermelo and others, proves: If every element is created or described by induction, then the set of all elements is created or described by induction.
Further: If all elements of a set are subtracted, then the set is subtracted. What should remain?
If every element of a set is countable, then the set is a countable set.
Regards, WM