Définition: AXIOMATISATION, substantif féminin.

Définition: AXIOMATISATION, substantif féminin. Dans le vocabulaire scientifique et la langue abstraite. Action d'axiomatiser une théorie, une science; par extension résultats partiels ou définitifs de cette action. Confer é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. FERDINAND GONSETH, Les Mathématiques et la réalité, Paris, Alcan, 1936, page 88. — Spécialement. 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 XIXe. siè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. Histoire générale des sciences (sous la direction de René Taton) tome 3, volume 1, 1961, page 20. SYNTAXE : 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. Remarque : 1. 1re attestation 1936 (supra exemple 1); dérivé du radical de axiomatiser* (seulement attesté en 1949), suffixe -ation (-tion-*). 2. Attesté dans les dictionnaires du XXe. siècle à partir de Grand Larousse encyclopédique en dix volumes.