Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Moebius <invalid@example.invalid>
Newsgroups: sci.math
Subject: =?UTF-8?B?UmU6IGJlY2F1c2UgZ+KkqChn4oG7wrkoeCkpID0gZyh5KSBbMS8yXSBS?=
 =?UTF-8?Q?e=3A_how?=
Date: Thu, 9 May 2024 03:11:09 +0200
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <v1h7re$8kct$5@dont-email.me>
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp>
 <ce588a75-4ea6-4a78-8be2-d729e80d19cd@att.net>
 <AddHfbN-qz8pWaxRgIvS5xiFQw8@jntp>
 <d56cbcbb-3d26-4606-8572-366eaadc608f@att.net>
 <4P8mN6L4GiZRL_cw9VoFlkFRsyI@jntp>
 <0682ec96-856f-4659-918d-f4f08edada3e@att.net>
 <IzQUzuTPV4P3XMbkfmQrEzl_xMs@jntp>
 <e261dbb5-4d89-4753-aee0-db91a1924356@att.net>
 <6xC7D4OsaY-Dbt6UCvgZwElFXdY@jntp>
 <ff51fcc9-94ac-4c33-afd8-21c01cd7bb03@att.net>
 <sdM6tt0a2wvVmLtfLrvf50vhr-o@jntp>
 <ec1c7139-44dc-43da-a81b-a788524ec0fa@att.net> <v1h58u$8kct$1@dont-email.me>
 <v1h6ss$8kct$4@dont-email.me>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 09 May 2024 03:11:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bc7f027b9ec36c6d1ad5b8188b843e60";
	logging-data="283037"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18Ul6PvmiJigpvIEoc8DyNU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/9iIZqG5I7Os8tomoVAY5McwzWw=
In-Reply-To: <v1h6ss$8kct$4@dont-email.me>
Content-Language: de-DE
Bytes: 2171

Am 09.05.2024 um 02:54 schrieb Moebius:
> Am 09.05.2024 um 02:27 schrieb Moebius:
> 
>> Simplified:
>>
>> | ∀n ∈ ℕ: ~∃ n ∈ (ℝ\ℕ).
>>
>> Does that make any sense to you?
> 
> Maybe he just means:
> 
> ~∃n ∈ ℕ: n ∈ (ℝ\ℕ))
> 
> or
> 
> ∀n ∈ ℕ: ~(n ∈ (ℝ\ℕ)) .
> 
> Who knows?

Based on the nonsense he wrote in de.sci.mathematik it seems to me that 
he wants to state:

ℝ\ℕ n ℕ = {}.

In this case, I'd prefer:

X\ℕ n ℕ = {}

or even

X\Y n Y = {}.

What an incredible insight!