Théorèmes
1 245 entités
| # | entité A→Z | type | notoriété (mondiale) | popularité (fr) |
|---|---|---|---|---|
| 1 | algorithme minimax | concept | 33 | 53 |
| 2 | alternative de Fredholm | concept | 11 | 3 |
| 3 | anneau hensélien | concept | 6 | |
| 4 | application complètement positive | concept | 2 | |
| 5 | argument de Frattini | concept | 7 | 1 |
| 6 | argument de la diagonale de Cantor — élément de démonstration | concept | 37 | 31 |
| 7 | axiome d'anti-fondation — axiome de la théorie des ensembles proposé par Peter Aczel en 1988 | concept | 2 | 1 |
| 8 | axiome d'Archimède — propriété de comparaison dans un ensemble totalement ordonné muni d'une... | concept | 41 | 32 |
| 9 | axiome d'extensionnalité — axiome selon lequel deux ensembles ayant les mêmes éléments sont égaux | concept | 23 | 8 |
| 10 | axiome de constructibilité | concept | 9 | |
| 11 | axiome de fondation — axiome de la théorie des ensembles que tout ensemble 𝑥 non vide possède un... | concept | 18 | 9 |
| 12 | axiome de l'ensemble des parties | concept | 18 | 4 |
| 13 | axiome de l'ensemble vide — l'axiome qui permet de poser l'existence d'un ensemble vide | concept | 20 | 7 |
| 14 | axiome de l'infini — axiome qui assure l'existence d'un ensemble contenant une représentation des... | concept | 22 | 14 |
| 15 | axiome de la paire | concept | 18 | 4 |
| 16 | axiome de la réunion | concept | 19 | 3 |
| 17 | axiome de limitation de taille | concept | 6 | |
| 18 | axiome de Martin | concept | 12 | |
| 19 | axiome de Pasch | concept | 16 | 2 |
| 20 | axiome de séparation — type d'axiome | concept | 25 | 11 |
| 21 | axiome des parallèles — axiome d'Euclide relatif à la géométrie du plan | concept | 47 | 44 |
| 22 | axiome du choix — axiome selon lequel le produit d'une famille d'ensembles non vides est non vide | concept | 50 | 70 |
| 23 | axiome du choix dénombrable — tout ensemble dénombrable d'ensembles non vides doit avoir une fonction de choix | concept | 12 | 1 |
| 24 | axiome du choix dépendant | concept | 14 | 1 |
| 25 | axiome du choix global | concept | 5 | |
| 26 | axiome du déterminité | concept | 8 | |
| 27 | axiome péripatétique | concept | 9 | 3 |
| 28 | borne de Cramér-Rao — notion statistique | concept | 16 | 18 |
| 29 | borne de Gilbert-Varshamov — en mathématiques, minoration de la distance minimale des codes | concept | 8 | 1 |
| 30 | borne de Hamming | concept | 6 | |
| 31 | borne de Singleton — limite théorique sur les capacités des codes correcteurs d'erreurs | concept | 11 | |
| 32 | cercle de Conway | concept | 9 | 2 |
| 33 | cercle de Lester | concept | 13 | |
| 34 | cercle de Van Lamoen | concept | 7 | |
| 35 | classification des groupes simples finis | concept | 27 | |
| 36 | coloriage des routes | concept | 9 | |
| 37 | comparaison série-intégrale | concept | 19 | 51 |
| 38 | condition de Lindeberg | concept | 4 | |
| 39 | conditions de Kuhn-Tucker | concept | 18 | 15 |
| 40 | conjecture d'Ehrenfeucht | concept | 1 | |
| 41 | conjecture d'Erdős-Burr | concept | 5 | |
| 42 | conjecture d'Erdős-Graham | concept | 9 | |
| 43 | conjecture de Bieberbach | concept | 12 | 1 |
| 44 | conjecture de Cameron-Erdős | concept | 6 | |
| 45 | conjecture de Catalan — théorème de théorie des nombres | concept | 28 | 6 |
| 46 | conjecture de Dinitz | concept | 5 | |
| 47 | conjecture de géométrisation | concept | 14 | 2 |
| 48 | Conjecture de Haken virtuelle | concept | 3 | |
| 49 | conjecture de Kemnitz | concept | 3 | |
| 50 | conjecture de Kepler — conjecture concernant la compacité d'empilement de sphères égales (démontrée en 1998) | concept | 21 | 8 |
page 1 / 25 suivante →
