Формулировка тезиса должна быть точной, не допускающей неоднозначной интерпретации. При этом тезис не должен изменяться в процессе доказательства. В противном случае возникает ситуация «подмены тезиса», когда исходный тезис заменяется на сходное по виду, но не тождественное тезису суждение. В этом случае производится доказательство изменённого, а не исходного тезиса, что логически неверно.
