Re: The set of necessary FISONs

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

On 28.02.2025 16:52, Jim Burns wrote:

On 2/28/2025 4:12 AM, WM wrote:

On 28.02.2025 01:00, Jim Burns wrote:

On 2/27/2025 5:01 PM, WM wrote:

 

Zermelo's approach does not extend ∀n:Aᴺ(n) to Aᴺ(ℕ)

It does.

Eppur si muove.
 

Zermelo says it,

Nope.

[spam]

Zermelo doesn't say that Z is in Z.

and it is easy to prove it:
Adding all natural numbers established the set ℕ.

We are finite beings. We do not do that.

Therefore we use FISONs without approaching ℕ.

They do reach N in the limit.

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