Re: The set of necessary FISONs

On 2/19/25 12:07 PM, WM wrote:

Am 19.02.2025 um 15:51 schrieb joes:

Am Wed, 19 Feb 2025 15:28:51 +0100 schrieb WM:

Am 18.02.2025 um 17:45 schrieb joes:

Am Tue, 18 Feb 2025 16:34:20 +0100 schrieb WM:

>

We can remove every FISON without changing the *assumed* union ℕ.

It doesn’t matter what you assume the union to be. You quite sensibly
denied that it is empty, yet you claim it would (not? I’m confused)
change.

It is enough to show that the claimed union is mistaken.

Nobody claimed that the union of the empty set were N.

 Proven however is this: UF = ℕ ⟹ Ø = ℕ.
 Regards, WM

Nope.
Just that you brain got blown up in the explosion of your logic system, that thinks we can prove axioms.