На этой стадии мы избавляемся от контрпримеров, придумывая повод, исключающий его из числа объектов, удовлетворяющих условиям. Мы изобретаем аргументы, показывающие, что предполагаемый контрпример, в действительности,не является таковым, поскольку он вообще не относится к множеству объектов, о которых идет речь в теореме. Это происходит через уточнение смысла понятий, входящих в формулировку теоремы. Некоторые исторические контрпримеры к теореме Эйлера, как показывает Лакатос, были сняты через уточнение понятия многогранника, которое лишало спорную фигуру права называться многогранником и сохраняло возможность говорить о теореме Эйлера как применимой ко всему множеству многогранников.

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