Définition: AXIOMATIQUE, adjectif et substantif féminin.

« a) [L'accent est mis sur la phase abstractive de recherche et d'organisation des axiomes] Analyse, m?thode axiomatiques?: ? 3.

Vers la fin du XIXe.

si?cle, les conceptions essentielles de Cantor avaient donc gain de cause.

Nous avons vu que, vers cette m?me ?poque, la formalisation des math?matiques s'ach?ve et que l'emploi de la m?thode axiomatique est ? peu pr?s universellement admis. NICOLAS BOURBAKI, ?l?m?nets d'histoire des math?matiques, 1960, page 46.

SYNTAXE?: Abstraction, base, ?tude, formalisation, pr?sentation, sch?ma(s), sch?matisation, symbolisation, syst?matisation, traitement axiomatique(s).

b) [L'accent est mis sur l'aboutissement de cette m?thode] Construction, syst?me, th?orie axiomatique; le syst?me axiomatique des math?matiques expos? par Bourbaki?: ? 4.

Un syst?me axiomatique ? on dit aussi?: une th?orie axiomatis?e ou, plus bri?vement, une axiomatique ? est donc la forme achev?e que prend, aujourd'hui, une th?orie d?ductive. ROBERT BLANCH?, L'Axiomatique, Paris, Presses Universitaires de France, 1959, page 3.

B.? Emploi comme substantif f?minin.

1.

Au sens large, dans le langage scientifique en g?n?ral.

M?thode ayant pour objet de rassembler et de " structurer " les axiomes et les principes de base d'une science.

Synonymes?: abstraction, g?n?ralisation, sch?matisation?: ? 5.

Dans le symbolisme que nous avons d?crit pr?c?demment et avec l'aide de machines ? calculer arithm?tiques, les trois probl?mes de la d?duction, de la d?monstration et de l'axiomatique trouvent ais?ment une solution compl?te. LOUIS COUFFIGNAL, Les Machines ? penser, 1964, page 114.

Remarque?: 1.

Largement attest? dans les dictionnaires du XXe.

si?cle ? partir de Grand Larousse encyclop?dique en dix volumes 2.

L'axiomatique comme m?thode peut ?tre caract?ris?e selon son point d'application ou son niveau de progression.

Confer les syntagmes attest?s chez Bachelard, Bourbaki, Gonseth, chez les diff?rents historiens de la logique et les lexicographes Dictionnaire alphab?tique et analogique de la langue fran?aise (Paul Robert) Suppl?ment 1970 et Grand Larousse encyclop?dique en dix volumes. »