Path: ...!weretis.net!feeder8.news.weretis.net!news.imp.ch!news.alphanet.ch!alphanet.ch!.POSTED!not-for-mail
From: robby <me@plan.net.ivalid>
Newsgroups: fr.sci.maths
Subject: Re: 0!=1 ?
Date: Thu, 16 Mar 2023 07:13:40 +0100
Organization: Posted through news.alphanet.ch
Message-ID: <tuuc2k$4v6$2@shakotay.alphanet.ch>
References: <turdrh$naru$1@dont-email.me> <turvh5$q472$1@dont-email.me>
 <tus781$rd5p$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 16 Mar 2023 06:13:40 -0000 (UTC)
Injection-Info: shakotay.alphanet.ch; posting-account="robby";
	logging-data="5094"; mail-complaints-to="usenet@alphanet.ch"; posting-host="d51d47ea9a5963d5e81e74ade6bd0cf8.nnrp.alphanet.ch"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.7.1
Cancel-Lock: sha256:XGCopYN4G87ap/Q7fZi6ykWGM6uZUJ9INmyjpsZUFjI=
In-Reply-To: <tus781$rd5p$1@dont-email.me>
Content-Language: fr
Bytes: 1243
Lines: 9

Le 15/03/2023 à 11:38, maixxx07 a écrit :
> Un système formel

> Un système symbolique

du point de vu du logiciel d'aide aux maths, ce sont de synonymes ;-)

-- 
Fabrice