bn:01068923n
Noun Concept
Categories: Logique mathématique, Théorème de la théorie des ensembles
FR
théorème de Diaconescu  Théorème de Goodman-Myhill
FR
En logique mathématique, le théorème de Diaconescu, ou théorème de Goodman-Myhill, concerne la théorie des ensembles et les mathématiques constructives. Wikipedia
Definitions
Relations
Sources
FR
En logique mathématique, le théorème de Diaconescu, ou théorème de Goodman-Myhill, concerne la théorie des ensembles et les mathématiques constructives. Wikipedia
Wikipedia Redirections
Wikidata Alias