TERMIUM Plus®

Par le Bureau de la traduction

Dans les médias sociaux

Consultez la banque de données terminologiques du gouvernement du Canada.

AXIOM [42 fiches]

Fiche 1 2026-01-08

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 1

Fiche 2 2026-01-08

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 2

Fiche 3 2025-08-06

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Artificial Intelligence
CONT

... action exclusion axioms [preclude] simultaneous actions ...

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Intelligence artificielle

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
  • Inteligencia artificial
Conserver la fiche 3

Fiche 4 2024-05-09

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 4

Fiche 5 2024-05-09

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 5

Fiche 6 2024-05-09

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 6

Fiche 7 2023-04-14

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
CONT

Cette égalité n'est donc pas un théorème équationnel des entiers, elle est un théorème inductif, c'est-à-dire que sa démonstration fait appel à un axiome d'induction (raisonnement par récurrence).

Espagnol

Conserver la fiche 7

Fiche 8 2020-10-14

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Artificial Intelligence
CONT

Effect axioms ... specify which properties are initiated or terminated when a particular event occurs at a given point in time.

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Intelligence artificielle
CONT

Un axiome d'effet définit les lois causales d'un domaine d'application.

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
  • Inteligencia artificial
CONT

Cada acción tiene asociado un axioma de efecto, que especifica el efecto de ejecutar la acción.

Conserver la fiche 8

Fiche 9 2016-02-23

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
  • Logic (Philosophy)
DEF

A statement used in the premises of arguments and assumed to be true without proof.

Français

Domaine(s)
  • Mathématiques
  • Intelligence artificielle
  • Logique (Philosophie)
CONT

L'axiome est la règle à partir de laquelle l'analyse démarre.

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Inteligencia artificial
  • Lógica (Filosofía)
DEF

Proposición tan clara y evidente que se admite sin necesidad de demostración.

Conserver la fiche 9

Fiche 10 2013-12-04

Anglais

Subject field(s)
  • Algebra
  • Modern Mathematics
CONT

axiom of specification. Let P(x) be any statement and let A be any set. Then there exists a set [of elements in A such that] P(a) is true

Français

Domaine(s)
  • Algèbre
  • Mathématiques modernes
OBS

Étant donné une propriété P et un ensemble x, les éléments y de x qui satisfont à P forment un nouvel ensemble

Espagnol

Conserver la fiche 10

Fiche 11 2013-12-04

Anglais

Subject field(s)
  • Algebra
  • Modern Mathematics
CONT

axiom of choice: The Cartesian product of a non-empty family of non-empty sets is non-empty.

Français

Domaine(s)
  • Algèbre
  • Mathématiques modernes
OBS

axiome du choix : à tout ensemble non vide x, on peut associer une application f de l'ensemble des sous-ensembles non vides de x dans x lui-même.

Espagnol

Conserver la fiche 11

Fiche 12 2013-04-05

Anglais

Subject field(s)
  • Statistics
CONT

Standard gamble is an application of continuity axiom.

Français

Domaine(s)
  • Statistique

Espagnol

Conserver la fiche 12

Fiche 13 1991-09-20

Anglais

Subject field(s)
  • Quantum Statistics

Français

Domaine(s)
  • Statistique quantique

Espagnol

Conserver la fiche 13

Fiche 14 1991-05-16

Anglais

Subject field(s)
  • Mathematics
CONT

Differential topological techniques enabled Smale, Peixoto and their followers to understand the chaotic behavior of a large class of dynamical systems known as hyperbolic or Axiom A systems.

Français

Domaine(s)
  • Mathématiques

Espagnol

Conserver la fiche 14

Fiche 15 1991-01-03

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 15

Fiche 16 1990-11-28

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A sentence that is satisfied by all interpretations purely because of its logical form.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 16

Fiche 17 1990-10-09

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 17

Fiche 18 1990-10-09

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 18

Fiche 19 1990-09-28

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 19

Fiche 20 1990-09-11

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 20

Fiche 21 1990-09-11

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 21

Fiche 22 1990-08-20

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 22

Fiche 23 1990-07-26

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 23

Fiche 24 1990-07-26

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 24

Fiche 25 1989-12-21

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 25

Fiche 26 1989-02-16

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 26

Fiche 27 1989-02-08

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 27

Fiche 28 1988-09-26

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 28

Fiche 29 1988-05-09

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 29

Fiche 30 1988-01-25

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 30

Fiche 31 1987-12-08

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 31

Fiche 32 1987-09-18

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 32

Fiche 33 1987-09-18

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 33

Fiche 34 1987-09-16

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 34

Fiche 35 1987-08-14

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 35

Fiche 36 1987-07-20

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Telecommunications Transmission

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Transmission (Télécommunications)

Espagnol

Conserver la fiche 36

Fiche 37 1987-03-17

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
CONT

Le traitement des axiomes récursifs dans les bases de données déductives.

Espagnol

Conserver la fiche 37

Fiche 38 1987-02-16

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 38

Fiche 39 1986-06-13

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 39

Fiche 40 1986-04-14

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 40

Fiche 41 1982-08-19

Anglais

Subject field(s)
  • Work Study
OBS

Neither the soft method of government by exhortation nor the tough method of government by issuing specific instructions is adequate. Required is something in between, a middle axiom, an order from above that leaves freedom of choice to those doing the job.

Français

Domaine(s)
  • Étude du travail

Espagnol

Conserver la fiche 41

Fiche 42 1975-03-11

Anglais

Subject field(s)
  • Algebra
  • Modern Mathematics
OBS

Axiom of extension. Two sets A and B are equal if and only if every element in A belongs to B and every element in B belongs to A.

Français

Domaine(s)
  • Algèbre
  • Mathématiques modernes
OBS

[...] l'axiome d'extensionnalité [...] affirme que si deux ensembles sont formés des mêmes éléments, alors ils sont égaux.

Espagnol

Conserver la fiche 42

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)

Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :