Re: The set of necessary FISONs

Am Tue, 28 Jan 2025 10:13:01 +0100 schrieb WM:

On 27.01.2025 23:07, Jim Burns wrote:

On 1/27/2025 7:55 AM, WM wrote:

 

∀n ∈ U(F(n)): |ℕ \ {1, 2, 3, ..., n}| = ℵo ℕ \ {1, 2, 3, ...} = { }

What is ⋃{F(n)} ?

It is the union of FISONs,  ℕ_def.

Conventionally called N.

What is {1,2,3,...} ?

ℕ

More properly called N_undef.

Taken together, you seem to think that there are infinite naturals.
Please confirm.

--
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.