Histoire des mathématiques Concept
univers de Grothendieck
Conceptnotion mathématique
Énoncé
(x\in y\in U\implies x\in U)\land(\{x,y\}\subset U\implies\{x,y\}\in U)\land(x\in U\implies\mathcal P(x)\in U)\land\left((I\in U\land\{x_i\}_{i\in I}\subset U)\implies\bigcup_{i\in I}x_i\in U\right)
Liens
- a été découvert par
- porte le nom de
Sources
- Wikidata CC0-1.0