Deutsch English Français Italiano |
<va1k0l$3aeib$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Moebius <invalid@example.invalid> Newsgroups: sci.logic,sci.math Subject: Re: Replacement of Cardinality Date: Sun, 4 Aug 2024 19:28:47 +0200 Organization: A noiseless patient Spider Lines: 9 Message-ID: <v8odof$5f3b$1@dont-email.me> References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <40165884-df8f-4614-8644-9161d72fd1cb@att.net> <-qUZ96ARwcjh9QPfyWRnijjNwoY@jntp> <6b837540-3d9a-4b8e-9a70-88d52e81a1a4@att.net> <xQQT0K_Q_k2FbMcCUXF8j3CEg84@jntp> <9822f5da-d61e-44ba-9d70-2850da971b42@att.net> <p36L63dXamDAkHDhkZhDKqx-h-o@jntp> <d8bbe664-a601-4590-9a7f-d5312b4dae54@att.net> <F6pqEi9Vg1YMcYTcIPQNs6NU_vI@jntp> <4f606ef2-ef6c-487b-b959-d109e374929f@att.net> <vpb42BOZYYy79eBYzCXpUbsjGQc@jntp> <f5086d19-ab91-429a-9dfe-2325e56c97a4@att.net> Reply-To: invalid@example.invalid MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 04 Aug 2024 19:28:48 +0200 (CEST) Injection-Info: dont-email.me; posting-host="cfebb951f28978ec9d7d0a1447cf5818"; logging-data="179307"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+RbpkZEIo5H2Xjcul5WBHc" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:PaA0fqeKpQTCzhT9TqWhFfhcVHw= Content-Language: de-DE In-Reply-To: <f5086d19-ab91-429a-9dfe-2325e56c97a4@att.net> Bytes: 1774 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.