● Axiome non logique axiome spécifique d'une théorie mathématique, par opposition aux axiomes logiques qui sont en principe communs à toutes les théories mathématiques (et qui ne sont pas nécessairement explicités). [Par exemple « x+ 0 = x » est un axiome non logique de l'arithmétique ; il comprend la constante non logique « 0 ».]
Encyclopédie Universelle. 2012.