Sujet : Re: Replacement of Cardinality
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.logic sci.mathDate : 04. Aug 2024, 18:28:47
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8odof$5f3b$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
Am 04.08.2024 um 18:39 schrieb Jim Burns:
On 8/4/2024 11:29 AM, WM wrote:
It excludes that ∃u ∈ ⅟ℕ: ∀x > 0: u < x,
Only you (WM) think [?!] that ∃u ∈ ⅟ℕ: ∀x > 0: u < x
follows from ∀x > 0: ∃u ∈ ⅟ℕ: u < x.
...sort of.