deductible consistency

Мат. дедуктивная непротиворечивость