axiome dans le dictionnaire Oxford-Hachette

Traductions de axiome dans le dictionnaire français»anglais

axiome [aksjom] SUBST m

axiome

axiom

Autres traductions et expressions typiques avec les termes de votre recherche

un axiome ne se prouve pas

an axiom cannot be proved

Traductions de axiome dans le dictionnaire anglais»français

Autres traductions et expressions typiques avec les termes de votre recherche

axiom

axiome m (that selon lequel)

axiome dans le dictionnaire PONS

Traductions de axiome dans le dictionnaire anglais»français

Autres traductions et expressions typiques avec les termes de votre recherche

axiom

axiome m

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

français

L'existence d'un plus petit élément (ensemble vide) se montre par compréhension (voir axiome de l'ensemble vide).

fr.wikipedia.org

Toutefois, pour lui, la nécessité de tels axiomes doit pouvoir être expliquée à ceux qui les contesteraient.

fr.wikipedia.org

L'axiome de complétude vérifie que la relation de préférences est complète.

fr.wikipedia.org

D'après le théorème de compacité, le système - infini - d'axiomes non quantifiés est lui aussi satisfaisable.

fr.wikipedia.org

Est-il nécessaire d'augmenter le nombre d'axiomes pour diminuer le nombre de problèmes indécidables ?

fr.wikipedia.org

On peut enfin remarquer qu'un ensemble défini par induction avec un nombre fini de principes (axiomes, schémas d'axiomes et règles de déduction) est énumérable.

fr.wikipedia.org

La théorie de l'électeur stratège est cependant basée sur des axiomes moins restrictifs, et par une analyse sociologique plus fine.

fr.wikipedia.org

La théorie des classes permet de l'exprimer comme un seul axiome.

fr.wikipedia.org

La recherche consiste à partir de ces axiomes pour trouver une interprétation qui permette de déduire logiquement les résultats qui correspondent à l'expérience.

fr.wikipedia.org

Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.

fr.wikipedia.org