× Annonce

Chers usagers du portail lexical du CNRTL,

Après vingt ans de bons et loyaux services, la version actuelle du portail sera prochainement remplacée par une nouvelle version au 1er juillet 2026. Cette nouvelle version apporte une refonte complète de l'interface adaptée à tous les supports (ordinateurs, tablettes, smartphones) et inclut également de nouvelles ressources.

Vous pouvez d'ores et déjà vous familiariser avec la nouvelle version ici : Portail lexical

En vous remerciant,

L'équipe du CNRTL
Police de caractères:

Surligner les objets textuels
Colorer les objets :
 
 
 
 
 
 

Entrez une forme
options d'affichagecatégorie :
AXIOMATISATION, subst. fém.
Dans le vocab. sc. et la lang. abstr. Action d'axiomatiser une théorie, une science; p. ext. résultats partiels ou définitifs de cette action. Cf. également formalisation, systématisation :
1. D'autre part, ces notions (géométriques) ne prennent leur aspect rationnel que du fait de l'axiomatisation, c'est-à-dire de l'acte mental qui aboutit à la création du schéma abstrait. F. Gonseth, Les Math. et la réalité,Paris, Alcan, 1936, p. 88.
− Spéc. Axiomatisation de la logique et des mathématiques. Orientation des recherches de la logique moderne visant à établir comme indémontrables un certain nombre de propositions et à en déduire d'autres par des règles ou lois logiques :
2. L'un des apports marquants du xixesiècle est d'avoir entrepris, parallèlement à une étude de plus en plus attentive des fondements des mathématiques, un effort de systématisation de la logique, étape indispensable vers l'axiomatisation et la formalisation des mathématiques et vers la création de la logique symbolique et de la métamathématique. Hist. gén. des sc.,t. 3, vol. 1, 1961, p. 20.
SYNT. Axiomatisation de l'arithmétique par Peano, du calcul des probabilités, de la géométrie prospective, de la théorie des ensembles; processus, seuil(s) d'axiomatisation; effectuer une axiomatisation.
Rem. 1. 1reattest. 1936 (supra ex. 1); dér. du rad. de axiomatiser* (seulement attesté en 1949), suff. -ation (-tion-*). 2. Attesté ds les dict. du xxes. à partir de Lar. encyclop.
BBG. − Foulq.-St-Jean 1962. − Piéron 1963.