axiomatique

nom féminin

Définitions de axiomatique


  • Théorie mathématique axiomatisée constituée à la fois par un système logique sous-jacent, représenté par des axiomes logiques (par exemple A OU ¬A [« A ou non-A »]) et par une partie spécifique, particulière à la théorie considérée (et qui est parfois la seule à être explicitée).