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.
Rechercher dans 507534 documents
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.