axiome en el diccionario francés Oxford-Hachette

Traducciones de axiome en el diccionario francés»inglés

axiome [aksjom] SUST. m

axiome

axiom

La palabra que consultaste como aparece en otras partes del diccionario

un axiome ne se prouve pas

an axiom cannot be proved

Traducciones de axiome en el diccionario inglés»francés

La palabra que consultaste como aparece en otras partes del diccionario

axiom

axiome m (that selon lequel)

axiome en el diccionario PONS

Traducciones de axiome en el diccionario inglés»francés

La palabra que consultaste como aparece en otras partes del diccionario

axiom

axiome m

Ejemplos monolingües (no verificados por la redacción de PONS)

francés

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