Axiomatisation
- Pure Mathematics -
Algebra Dictionary
Définition
Un ensemble fini ou infini d'axiomes présenté comme phrases fondamentales à partir desquelles se déduisent les conséquences d'une théorie ; une axiomatisation engendre une théorie par clôture sous conséquence logique.