uncontradictory statement

Мат. непротиворечивое высказывание