axiomatisation nom féminin : Opération consistant à présenter une théorie mathématique sous forme de théorie axiomatique.