Re: The set of necessary FISONs

On 20.02.2025 12:46, joes wrote:

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

Subtraction of all elements leaves the empty set.
UF = ℕ ==> Ø = ℕ.

Substitute: UF = X != N. Does it follow that X = {}?

No.

The set of all natural numbers which can be defined is
finite. infinitesimally smaller than ℕ.

Is that because every natural is finite?

No, it is because ∀n ∈ U(F): |ℕ \ {1, 2, 3, ..., n}| = ℵo.
Regards, WM