e/Axiomatization

Information
lexicalization	eng: Axiomatization
instance of	(noun) (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident axiom

Meaning
French
has gloss	fra: En mathématiques, laxiomatisation dune théorie est un procédé qui consiste à organiser celle-ci en la fondant sur des axiomes, et à en déduire rigoureusement des théorèmes, dans un cadre qui peut être purement logique, ou celui de la théorie des ensembles. Lensemble constitue une théorie axiomatique. Il arrive souvent que des concepts mathématiques existent préalablement à leur axiomatisation, soit quils naient pas été dégagés du cadre dune autre théorie, soit quils aient été développés sans être entièrement formalisés. Lobjet de laxiomatisation est entre autres déclaircir ces concepts et de permettre leur généralisation à d'autres cadres.
lexicalization	fra: axiomatisation