Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- ...de déduction de telle façon que toutes les lois logiques soient ou bien un axiome ou bien une formule dérivée des axiomes avec un nombre fini d'applications ...3 kio (576 mots) - 7 juin 2020 à 17:30
- ...ent]] avec la [[Négation logique|négation]] de celle-ci. Informellement, l'axiome de Martin affirme que tous les [[Nombre cardinal|cardinaux]] strictement in == Énoncé de l'axiome de Martin == ...11 kio (1 868 mots) - 12 décembre 2019 à 16:43
- L''''axiome de détermination''' est un axiome alternatif de la [[théorie des ensembles]] affirmant que certains jeux (au Cet axiome n'est pas compatible avec l'[[axiome du choix]] mais implique l'[[axiome du choix dénombrable]] pour les familles d'ensembles de réels et implique é ...7 kio (1 126 mots) - 17 juin 2022 à 10:28
- [[Fichier:Axiome du choix.png|vignette|upright=1.5|Pour tout ensemble d'ensembles non vides ...théorie des ensembles, Notes de cours, FIMFA ENS|numéro chapitre=4|titre=L'axiome du choix|url=https://dehornoy.users.lmno.cnrs.fr/Surveys/DehornoyChap4.pdf| ...22 kio (3 510 mots) - 18 mars 2025 à 13:35
- ...de fondation''', encore appelé '''axiome de régularité''', est l'un des [[axiome]]s de la [[théorie des ensembles]]. Introduit par [[Abraham Fraenkel]], [[T ...suivant les ouvrages. Dans la suite, on choisit de prendre ZF et ZFC sans axiome de fondation. ...7 kio (1 176 mots) - 16 août 2023 à 07:44
- {{homon|Axiome de séparation}} En [[topologie]], un '''axiome de séparation''' est une propriété satisfaite par certains [[espace topolog ...24 kio (3 703 mots) - 12 janvier 2024 à 06:48
- ..., ''anti-foundation axiom'' ou ''AFA'') est un [[axiome]] alternatif à l'[[axiome de fondation]] de la [[théorie des ensembles]] qui permet des chaînes infin ...iomes de ZF et l'axiome de fondation, ce sont les ensembles bien fondés. L'axiome d'anti-fondation a pour conséquence que l'univers de von Neumann n'est pas ...8 kio (1 261 mots) - 9 février 2025 à 21:17
- ...''axiome du choix dépendant''', noté '''DC''', est une forme faible de l'[[axiome du choix]] (AC), suffisante pour développer une majeure partie de [[Analyse ...tier naturel|<math>\N</math>]], ''x<sub>n</sub>Rx''<sub>''n''+1</sub>. Cet axiome est nécessaire pour définir une telle suite infinie, mais pas pour obtenir, ...4 kio (632 mots) - 21 novembre 2024 à 11:12
- En [[mathématiques]], l''''axiome de la paire''' est l'un des [[axiome]]s de la [[théorie des ensembles]], plus précisément des théories des ensem Essentiellement, l'axiome affirme que : ...7 kio (1 176 mots) - 7 juillet 2023 à 18:28
- ...de la [[théorie des ensembles]], l''''axiome de l'infini''' est l'un des [[axiome]]s de la [[théorie des ensembles de Zermelo-Fraenkel]], qui assure l'existe == Énoncé de l'axiome == ...15 kio (2 370 mots) - 2 mai 2022 à 12:17
- ...’'''axiome de la réunion''' (ou «'''axiome de la somme'''») est l'un des [[axiome]]s de la [[théorie des ensembles de Zermelo-Fraenkel]], ZF. Il affirme que, ...ble des parties et le schéma d'axiomes de remplacement (qui démontrent l'[[axiome de la paire]] de la [[Théorie des ensembles de Zermelo|théorie de Zermelo]] ...3 kio (427 mots) - 8 mars 2025 à 15:46
- En [[mathématiques]], l''''axiome de l'ensemble des parties''' est l'un des [[axiome]]s de la [[théorie des ensembles]], plus précisément des [[Théorie des ense ...tel ensemble est nommé ''ensemble des parties'' de ''E'', d'où le nom de l'axiome. ...4 kio (615 mots) - 11 avril 2024 à 19:43
- ...nsemble pouvait être bien ordonné]] en utilisant ce qui allait devenir l'[[axiome du choix]].]] ...[[Groupe (mathématiques)|axiomes de groupe]]. L'[[axiome du choix]] est un axiome de la [[Théorie des ensembles|théorie]] [[Théorie des ensembles de Zermelo- ...7 kio (1 176 mots) - 23 novembre 2024 à 01:27
Correspondances dans le texte des pages
- ...’'''axiome de la réunion''' (ou «'''axiome de la somme'''») est l'un des [[axiome]]s de la [[théorie des ensembles de Zermelo-Fraenkel]], ZF. Il affirme que, ...ble des parties et le schéma d'axiomes de remplacement (qui démontrent l'[[axiome de la paire]] de la [[Théorie des ensembles de Zermelo|théorie de Zermelo]] ...3 kio (427 mots) - 8 mars 2025 à 15:46
- En [[mathématiques]], l''''axiome de l'ensemble des parties''' est l'un des [[axiome]]s de la [[théorie des ensembles]], plus précisément des [[Théorie des ense ...tel ensemble est nommé ''ensemble des parties'' de ''E'', d'où le nom de l'axiome. ...4 kio (615 mots) - 11 avril 2024 à 19:43
- * [[Axiome d'extensionnalité]] : Deux ensembles qui ont les mêmes éléments sont égaux. * '''Axiome d'induction''' : φ(''x'') étant une [[Formule (mathématiques)|formule]] du ...3 kio (436 mots) - 6 octobre 2017 à 13:23
- ...classes de propositions suivant la théorie en jeu) peut se déduire de l'[[axiome du choix]]. Il fut découvert en 1975 par Diaconescu<ref>{{en}} R. Diaconesc ...e [[proposition (mathématiques)|proposition]] quelconque. En utilisant l'[[axiome de compréhension]], on définit deux ensembles ...4 kio (606 mots) - 3 février 2016 à 00:58
- Le nom de conception axiomatique vient du fait que ce sont des [[Axiome|axiomes]] qui régissent l'analyse et le processus de décision pour la conce * {{1er}} axiome : L'axiome d'indépendance. Maintenir l'indépendance des besoins fonctionnels. ...2 kio (346 mots) - 5 décembre 2023 à 17:37
- En [[mathématiques]], l''''axiome de la paire''' est l'un des [[axiome]]s de la [[théorie des ensembles]], plus précisément des théories des ensem Essentiellement, l'axiome affirme que : ...7 kio (1 176 mots) - 7 juillet 2023 à 18:28
- ...de fondation''', encore appelé '''axiome de régularité''', est l'un des [[axiome]]s de la [[théorie des ensembles]]. Introduit par [[Abraham Fraenkel]], [[T ...suivant les ouvrages. Dans la suite, on choisit de prendre ZF et ZFC sans axiome de fondation. ...7 kio (1 176 mots) - 16 août 2023 à 07:44
- ...brable, donc <math>\aleph_1</math> est régulier. On peut montrer, sous l'[[axiome du choix]], qu'il en est de même pour tout [[Aleph (nombre)#Cardinal succes == En l'absence de l'axiome du choix == ...4 kio (584 mots) - 24 janvier 2023 à 13:51
- ..., ''anti-foundation axiom'' ou ''AFA'') est un [[axiome]] alternatif à l'[[axiome de fondation]] de la [[théorie des ensembles]] qui permet des chaînes infin ...iomes de ZF et l'axiome de fondation, ce sont les ensembles bien fondés. L'axiome d'anti-fondation a pour conséquence que l'univers de von Neumann n'est pas ...8 kio (1 261 mots) - 9 février 2025 à 21:17
- ...''axiome du choix dépendant''', noté '''DC''', est une forme faible de l'[[axiome du choix]] (AC), suffisante pour développer une majeure partie de [[Analyse ...tier naturel|<math>\N</math>]], ''x<sub>n</sub>Rx''<sub>''n''+1</sub>. Cet axiome est nécessaire pour définir une telle suite infinie, mais pas pour obtenir, ...4 kio (632 mots) - 21 novembre 2024 à 11:12
- ...é par [[David Hilbert]] au début du {{XXe siècle}} : un grand nombre d'''[[Axiome|axiomes]] logiques'' exprimant les principales propriétés de la [[Logique m * <math>A</math> est une ''instance d'axiome'' (ou de théorème), c’est-à-dire l'un des axiomes logiques (ou l'un des thé ...6 kio (1 095 mots) - 15 janvier 2025 à 08:09
- L''''axiome de détermination''' est un axiome alternatif de la [[théorie des ensembles]] affirmant que certains jeux (au Cet axiome n'est pas compatible avec l'[[axiome du choix]] mais implique l'[[axiome du choix dénombrable]] pour les familles d'ensembles de réels et implique é ...7 kio (1 126 mots) - 17 juin 2022 à 10:28
- ...bles non bien fondés, l'axiome de fondation de [[ZFC]] est remplacé par un axiome impliquant sa négation. ...ées et des suites non bien fondées ; cependant il ne fait pas recours à un axiome de bonne fondation. Alors que plusieurs axiomatiques pour les ensembles non ...8 kio (1 256 mots) - 9 février 2025 à 21:19
- ...nsemble pouvait être bien ordonné]] en utilisant ce qui allait devenir l'[[axiome du choix]].]] ...[[Groupe (mathématiques)|axiomes de groupe]]. L'[[axiome du choix]] est un axiome de la [[Théorie des ensembles|théorie]] [[Théorie des ensembles de Zermelo- ...7 kio (1 176 mots) - 23 novembre 2024 à 01:27
- ...st vraie, ce qui implique la possibilité de ''P'' dans <math>w_1</math>. L'axiome <math>\Box P \rightarrow \Diamond P</math> est donc valide dans les cadres ...2 kio (336 mots) - 2 février 2020 à 20:34
- ...e qu'elles appartiennent à un même plan.</ref> ont un point commun ») et l'axiome du parallélisme de la géométrie affine (« Par un point extérieur à une droi ...uve alors immédiatement l'[[#axiome du parallélisme de la géométrie affine|axiome du parallélisme de la géométrie affine]]. De plus, le point impropre suppri ...4 kio (701 mots) - 30 septembre 2023 à 19:44
- ...orie des ensembles de Zermelo-Fraenkel|théorie des ensembles ZFC]] (avec [[axiome du choix]]), les '''nombres beth''' désignent une hiérarchie de [[nombre ca ...re)|alephs]], ils représentent tous les cardinaux infinis en présence de l'axiome du choix. Il est possible de « numéroter » les alephs par des ordinaux, c'e ...6 kio (916 mots) - 6 juillet 2024 à 14:38
- En [[logique classique]], l''''axiome de la trichotomie '''tient à la comparaison ordinaire entre les nombres rée ...dinaux]] des ensembles bien ordonnés même sans l'[[axiome du choix]]. Si l'axiome du choix est retenu, la trichotomie se maintient entre des nombres cardinau ...3 kio (493 mots) - 30 novembre 2023 à 10:27
- Les [[Axiome de l'infini|entiers de von Neumann]] sont des ensembles transitifs : Cette définition utilise en particulier l'[[axiome de l'infini]] (existence de l'ensemble ω) et le [[schéma d'axiomes de rempl ...5 kio (858 mots) - 17 septembre 2024 à 22:56
- C'est une notion utile dans l'étude des [[Axiome de séparation (topologie)|axiomes de séparation]], typiquement pour les esp * [[Axiome de séparation (topologie)|Axiomes de séparation (topologie)]] ...3 kio (409 mots) - 12 février 2025 à 17:31