Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: FromTheRafters <FTR@nomail.afraid.org>
Newsgroups: sci.math
Subject: Re: The non-existence of "dark numbers"
Date: Wed, 19 Mar 2025 09:45:31 -0400
Organization: Peripheral Visions
Lines: 18
Message-ID: <vrehq0$vr0e$1@dont-email.me>
References: <vqrbtd$1chb7$2@solani.org>   <vr4cgl$3qbcs$3@dont-email.me> <vr6fgl$1uok$1@news.muc.de> <vr6tit$21dt9$1@dont-email.me> <vr71ea$qjf$1@news.muc.de> <vr774e$2a6rj$2@dont-email.me> <vr7b30$qjf$2@news.muc.de> <vr7jql$2jj8r$4@dont-email.me> <vr92l8$1pc1$1@news.muc.de> <vr9gla$bvhh$1@dont-email.me> <vrbn3b$2d16$1@news.muc.de> <vrc3ps$2og7j$1@dont-email.me> <vrc64d$219n$1@news.muc.de> <vrcd1j$310vm$1@dont-email.me> <vrcigp$219n$2@news.muc.de> <vrcrks$3d6rc$1@dont-email.me> <vreafc$7kb$2@news.muc.de>
Reply-To: erratic.howard@gmail.com
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-15"; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 19 Mar 2025 14:45:37 +0100 (CET)
Injection-Info: dont-email.me; posting-host="47b4d60e4d5b8e773c29b518d0b57da9";
	logging-data="1043470"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19zPCVWqJX1UIVjDBOXWZFF2QlrLupxMQk="
Cancel-Lock: sha1:wg9H43fsKCYZwDu2DMNhnrwaF/c=
X-Newsreader: MesNews/1.08.06.00-gb
X-ICQ: 1701145376

Alan Mackenzie pretended :
> Moebius <invalid@example.invalid> wrote:
>> Am 18.03.2025 um 20:45 schrieb Alan Mackenzie:
>
>>> Perhaps you can help me with something that WM refuses to answer: In
>>> German mathematical texts, is the verb "subtrahieren" used to refer to
>>> the removal of an element or subset of a set from that set?
>
>> Not that I'm aware of. We usually refer to A \ B as the set difference 
>> between A and B (dt.: Differenzmenge von A und B).
>
> That's what I thought.  I don't recall "subtract" being used in English
> texts for this purpose.

One could think that 10 minus 2 is 8 and that the numbers are von 
Neumann construction so I have subtracted one set from another as 
numbers. That is different from extracting like was done to get 
naturals from the infinite set.