Re: The set of necessary FISONs

On 28.02.2025 18:25, joes wrote:

Am Fri, 28 Feb 2025 18:04:33 +0100 schrieb WM:

Zermelo doesn't say that Z is in Z.

But he says that the infinite Z exists because of his induction.

Therefore we use FISONs without approaching ℕ.

They do reach N in the limit.

No. ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo. Note for all! The limit cannot exist without bridging this infinite gap.
REgards, WM