DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

deductively consistent set

contraintes
math. дедуктивно совместное множество (дедуктивно непротиворечивое)
techn. дедуктивно совместное множество; дедуктивно непротиворечивое множество