Sujet : Re: {}
De : jean-yves.baudais (at) *nospam* insa-rennes.fr (Jean-Yves Baudais)
Groupes : fr.comp.text.texDate : 24. Feb 2022, 17:29:50
Autres entêtes
Organisation : Guest of ProXad - France
Message-ID : <6217b27e$0$8889$426a74cc@news.free.fr>
References : 1 2 3 4
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0
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