Такого рода контрпримеры опровергают отдельные утверждения (леммы), используемые в доказательстве, не ставя под сомнение истинность доказываемого утверждения (догадки). Контрпримеры этого типа говорят об ошибочности некоторых предположений, используемых в доказательстве, и являются эвристическими контрпримерами, побуждающими к уточнению доказательства.

В рубрике: Надежность математического доказательства