Re: The set of necessary FISONs

Am Thu, 20 Feb 2025 11:29:26 +0100 schrieb WM:

On 19.02.2025 18:19, joes wrote:

Am Wed, 19 Feb 2025 18:07:56 +0100 schrieb WM:

 

Proven however is this: UF = ℕ ⟹ Ø = ℕ.

No. That would mean UF = {}, which you can’t seriously believe.

Learn what an implication is.

Yeah yeah, given the premise, which you don't accept. It would be
implied though.

If you think UF = X != N, then you need to accept U{} = X.

No. I don't know the relation between a FISON and X.

X is clearly an inductive set, like N. Your wrong argument
applies to it the same.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.