Re: E c N

Am Tue, 22 Oct 2024 18:12:44 +0200 schrieb WM:

On 22.10.2024 18:03, Jim Burns wrote:

On 10/22/2024 4:13 AM, WM wrote:

 

ℕ is defined such that n ∈ ℕ  ⇔  ∃{0,1,...,n-1,n}

Most of all it is an invariable set with all its elements existing and
subject to doubling.
 

∀n ∈ ℕ:  2×n ∈ ℕ

Not if all elements are existing before multiplication already.

WAT. *Especially* if all elements exist those are in there.

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