формальная противоречивость

Мат. formal inconsistency