théorèmes

1245 entités
Nom Type Notoriété Popularité
Algorithme Minimax Concept 33 53.5
Alternative de Fredholm Concept 11 3.1
Anneau Hensélien Concept 6 0.1
Application Complètement Positive Concept 2 0.8
Argument de Frattini Concept 7 1.1
Argument de la Diagonale de Cantor Concept 37 31.5
Axiome D'anti-fondation Concept 2 1.8
Axiome D'archimède Concept 41 32.9
Axiome D'extensionnalité Concept 23 8.3
Axiome Péripatétique Concept 9 3.7
Axiome de Constructibilité Concept 9 0.5
Axiome de Fondation Concept 18 9.5
Axiome de L'ensemble Vide Concept 20 7.6
Axiome de L'ensemble des Parties Concept 18 4.0
Axiome de L'infini Concept 22 14.4
Axiome de Limitation de Taille Concept 6 0.4
Axiome de Martin Concept 12 0.7
Axiome de Pasch Concept 16 2.0
Axiome de Séparation Concept 25 11.1
Axiome de la Paire Concept 18 4.1
Axiome de la Réunion Concept 19 3.9
Axiome des Parallèles Concept 47 44.5
Axiome du Choix Concept 50 70.9
Axiome du Choix Dénombrable Concept 12 1.2
Axiome du Choix Dépendant Concept 14 1.4
Axiome du Choix Global Concept 5 0.4
Axiome du Déterminité Concept 8 0.4
Borne de Cramér-rao Concept 16 18.2
Borne de Gilbert-varshamov Concept 8 1.0
Borne de Hamming Concept 6 0.0
Borne de Singleton Concept 11 0.0
Cercle de Conway Concept 9 2.2
Cercle de Lester Concept 13 0.0
Cercle de van Lamoen Concept 7 0.0
Classification des Groupes Simples Finis Concept 27 0.4
Coloriage des Routes Concept 9 0.1
Comparaison Série-intégrale Concept 19 51.9
Condition de Lindeberg Concept 4 0.8
Conditions de Kuhn-tucker Concept 18 15.7
Conjecture D'ehrenfeucht Concept 1 0.2
Conjecture D'erdős-burr Concept 5 0.7
Conjecture D'erdős-graham Concept 9 0.6
Conjecture Principale de la Théorie D'iwasawa Concept 4 1.0
Conjecture de Bieberbach Concept 12 1.7
Conjecture de Cameron-erdős Concept 6 0.8
Conjecture de Catalan Concept 28 6.5
Conjecture de Dinitz Concept 5 0.0
Conjecture de Géométrisation Concept 14 2.9
Conjecture de Haken Virtuelle Concept 3 0.0
Conjecture de Kemnitz Concept 3 0.5