Databac

AXIOMATIQUE

AXIOMATIQUE. n.f. Système d’axiomes (3°) avec les règles de déduction qui permettent d’en tirer des propositions. La formalisation est une axiomatisation générale, qui adjoint les axiomes logiques à ceux de la théorie considérée.

Liens utiles