 axiomatique

adjectif

(grec aksiômatikos)

Relatif à un axiome ; qui a le caractère d'un axiome ; indémontrable.

 axiomatique

nom féminin

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).

Expressions avec axiomatique

 axiomatique

adjectif

Méthode axiomatique,

méthode qui consiste à axiomatiser une théorie mathématique, c'est-à-dire à la présenter sous forme de théorie axiomatique.

Théorie axiomatique,

théorie mathématique dont les termes non définis et les postulats non démontrés ont été explicités (exemple la théorie axiomatique des nombres réels).