Sujet : Re: Replacement of Cardinality
De : james.g.burns (at) *nospam* att.net (Jim Burns)
Groupes : sci.logic sci.mathDate : 06. Aug 2024, 00:35:16
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <4e68c0fa-a068-487e-bbba-8f908051c99d@att.net>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 8/5/2024 3:21 PM, WM wrote:
Le 05/08/2024 à 02:24, Moebius a écrit :
∃^ℵ₀ u ∈ ⅟ℕ: ∀x > 0: u < x (false) .
>
∃^NUF(x) u ∈ ⅟ℕ: ∀x > 0: u < x true.
¬∃u ∈ ⅟ℕ: ∀x > 0: u < x