0
Passer à la recherche Passer au contenu Passer à la navigation
Gouvernement du Québec Gouvernement du Québec Office québécois de la langue française
  • Nous joindre
  • Accueil
  • Grand dictionnaire terminologique
Logo Le Grand Dictionnaire Terminologique

axiome

Domaine
  1. intelligence artificielle
Auteur
Office québécois de la langue française
Dernière mise à jour
1997
  • Accéder à la fiche en anglais : axiom

Définition :

Postulat considéré comme vrai par principe sans avoir à être démontré.

Notes :

Un ensemble d'axiomes ajouté à un langage formel et à des règles de production constitue un système formel.

L'étymologie indique qu'un axiome a un caractère de choix ou mieux d'hypothèse. En ce sens, tous les systèmes reposant sur des axiomes peuvent s'interpréter : « Si ces expressions que j'appelle axiome sont correctes, alors voici le système ». À partir de la logique du premier ordre, on peut constituer différentes théories en privilégiant certaines expressions qui deviennent des axiomes. Une interprétation d'une théorie est un modèle si les axiomes de la théorie y sont vrais.

Termes privilégiés :

axiome n. m.
définition n. f.
postulat n. m.
principe n. m.

[axiome] Du grec axioma, « estimation ».

Traductions

  • anglais

    Auteur : Office québécois de la langue française, 1997

    Terme :

    1. axiom

Partager cette page

  • Courriel
  • Facebook
  • X
  • LinkedIn

Évaluation de la page

L’information sur cette page vous a-t-elle été utile?
L’information sur cette page vous a-t-elle été utile?
Évitez d’inscrire des renseignements personnels. Prenez note que vous ne recevrez aucune réponse.

Pour obtenir une réponse à une question de nature linguistique, utilisez le formulaire Nous joindre.

Navigation principale

  1. À propos de la Vitrine linguistique

    1. Capsule vidéo sur la Vitrine linguistique
    2. Foire aux questions
    3. Les mots de la Vitrine linguistique
    4. Offre de services linguistiques
    5. Politiques et guides
  2. Actualités

    1. Articles et fiches en vedette
    2. Brèves
  3. Autres sites

    1. Office québécois de la langue française
    2. Commission de toponymie
    3. Concours de créativité lexicale
    4. Mérites du français
  4. Ressources linguistiques

    1. Chroniques
    2. Conseils linguistiques pour les entreprises
    3. Contenus téléchargeables
    4. Lexiques et vocabulaires
    5. Outils pour apprendre le français
    6. Ressources linguistiques externes
    7. Ressources pour le personnel enseignant
  5. Sujets d’intérêt

    1. Féminisation et rédaction épicène
    2. Néologie
    3. Officialisation linguistique
  6. Navigation

    1. Index thématique de la BDL
    2. Tutoriel

Abonnez-vous!

Nos infolettres vous permettent d’avoir accès à plusieurs ressources.
Ce champ est obligatoire.
Ce champ est obligatoire.
Ce champ est obligatoire.
Retourner en haut de la page
  • Accessibilité
  • Accès à l’information
  • Déclaration de services aux citoyennes et aux citoyens
  • Politique de confidentialité
  • Plan du site
Office québécois de la langue française
© Gouvernement du Québec, 2025