Path: ...!2.us.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!cleanfeed3-b.proxad.net!nnrp1-2.free.fr!not-for-mail
Date: Thu, 24 Feb 2022 00:17:09 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.6.0
Subject: Re: {}
Content-Language: en-US
Newsgroups: fr.comp.text.tex
References: <m25yphwvi5.fsf@pc40.home> <87v8x9ftdw.fsf@example.com>
 <slrnt14rra.492.lhh+news-no_spam@hercule.home.arpa>
From: GL <gouailles@gmail.com>
In-Reply-To: <slrnt14rra.492.lhh+news-no_spam@hercule.home.arpa>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Antivirus: Avast (VPS 220223-4, 23/2/2022), Outbound message
X-Antivirus-Status: Clean
Lines: 30
Message-ID: <6216c075$0$21063$426a34cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 24 Feb 2022 00:17:09 CET
NNTP-Posting-Host: 78.192.188.105
X-Trace: 1645658229 news-4.free.fr 21063 78.192.188.105:53256
X-Complaints-To: abuse@proxad.net
Bytes: 2146

Le 20/02/2022 à 17:42, Jacques L'helgoualc'h a écrit :
> Le 20-02-2022, Denis Bitouzé a écrit :
>> Le 14/02/22 à 12h14, Vincent Belaïche a écrit :
>>
>> J'utilise très régulièrement l'expression « paire d'accolades vide » et
>> ça ne m'a jamais troublé :)
> 
> ... moi non plus (mais on peut préciser le singulier à l'oral).
> 
>> On dit d'ailleurs qu'un panier est vide, pas que son contenu l'est : je
>> pense qu'il est communément admis que, lorsque l'on dit que le contenant
>> est vide, ça signifie que le contenu du contenant l'est (vite un cache
>> d'aspirine !)

Joli !

> 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 ?

Bonne soirée.