b) LOG. SYMBOLIQUE et LING. Axiomatique formalisée. Ensemble de signes ou formes symboliques, c'est-à-dire indépendantes de tout contenu sensible ou significatif. Anton. axiomatique intuitive :6. La formalisation suppose la symbolisation. Une axiomatique formalisée se présente comme un ensemble de signes, les uns propres à la théorie, les autres antérieurs, assorti d'un énoncé des règles qu'on appliquera dans le maniement de ces signes.
R. Blanché, L'Axiomatique,Paris, P.U.F., 1959, p. 53.
7. Les auteurs de ce LDI se réclament d'une approche « logico-linguistique », à juste titre; mais leur LDI est plus qu'un système logico-linguistique, c'est aussi un système fondé sur une axiomatique de logique mathématique. En effet, « la grammaire de base servant de cadre pour les ensembles de documents indexés est en relation avec les concepts du calcul fonctionnel en logique symbolique, et emploie sa distinction entre fonctions et arguments ».
M. Coyaud, Introd. à l'ét. des lang. documentaires,1966, p. 65.
Rem. On rencontre dans la docum. plusieurs emplois de l'adv. axiomatiquement « suivant la méthode axiomatique ». Théorie axiomatiquement fondée (F. Gonseth, Les Math. et la réalité, Paris, Alcan, 1936, p. 199).