Контрпример¶

Определение. Пример, опровергающий утверждение вида ∀x: P(x). Чтобы опровергнуть «все», достаточно одного контрпримера; чтобы доказать «все» — одного примера недостаточно (асимметрия доказательства и опровержения). «Чёрный лебедь».