deductively consistent

Мат. дедуктивно непротиворечивый