logique formelle Synonym