Path: ...!weretis.net!feeder8.news.weretis.net!news.trigofacile.com!usenet-fr.net!agneau.org!nntpfeed.proxad.net!proxad.net!feeder1-1.proxad.net!212.27.60.64.MISMATCH!cleanfeed3-b.proxad.net!nnrp1-1.free.fr!not-for-mail
Subject: Re: {}
Newsgroups: fr.comp.text.tex
References: <m25yphwvi5.fsf@pc40.home> <87v8x9ftdw.fsf@example.com>
 <slrnt14rra.492.lhh+news-no_spam@hercule.home.arpa>
 <6216c075$0$21063$426a34cc@news.free.fr>
From: Jean-Yves Baudais <jean-yves.baudais@insa-rennes.fr>
Date: Thu, 24 Feb 2022 17:29:50 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.10.0
MIME-Version: 1.0
In-Reply-To: <6216c075$0$21063$426a34cc@news.free.fr>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Lines: 24
Message-ID: <6217b27e$0$8889$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 24 Feb 2022 17:29:50 CET
NNTP-Posting-Host: 193.52.94.208
X-Trace: 1645720190 news-1.free.fr 8889 193.52.94.208:52502
X-Complaints-To: abuse@proxad.net
Bytes: 1866

Bonjour,


Le 24/02/2022 à 00:17, GL a écrit :
>[...]
>> le contenu {} est vide, mais pas le contenant { {} } :)
> 
> Ce sont les entiers de von Neumann :
> 0 = {}
> 1 = { {} }
> 2 = { {} {{}} }
> 3 = { {} {{}} { {} {{}} } }
> 
> De sorte que '1 <= 3' s'écrit aussi: 1 inclus dans 3 en tant 
> qu'ensembles...
> 
> Bref, quand une idée est vide, c'est que son contenu est dénué de sens.
> Le contenant est-il vide dans ce cas ?

Oh, comme c'est mignon ! Ça me fait penser au partition de partition de 
partition... d'ensemble vide. Jamais compris à quoi ça pouvait servir, 
mais bon, je ne suis pas allé suffisamment loin en math !

--Jean-Yves