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.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)