1.
Des axiomes; qui a le caractère des axiomes. évident
2.
Qui peut servir de base à un système de déduction; qui procède par déduction. Base axiomatique; méthode axiomatique.
3.
Qui a pour objet des symboles (et non leur contenu). Méthode axiomatique. Sémantique axiomatique.
4.
N. f. Mode d'exposition d'une théorie par déduction logique ou mathématique, à partir d'axiomes* (3o) énoncés, exempts de contradictions et indépendants les uns des autres. Axiomatique formalisée.
1.
Fondé sur des axiomes, d’une logique de vérité indémontrable, mais faisant autorité en la matière.
2.
Ensemble de postulats à la base d’un système théorique.