logique mathématique Synonym