Уважаемый оппонент shwedka!
Идеология Вашего дополнения к основным правилам форума понятны.
Вопрос: имеется ли доказательство того, что случаями

, или

, или

и т.д. исчерпываются, в принципе, все возможные классы попыток доказательства ВТФ?
Иначе. Существуют всего два класса попыток доказательства ВТФ:
1. попытки доказательства, допускающие частную интепретацию случаем

и т.п.;
2. попытки доказательства, не допускающие частную интепретацию случаем

и т.п.
Имеется ли доказательство того, что класс 2 пуст?
Если такого доказательства нет, то ...?
С уважением
АН
P.S.
Попытка доказательства ВТФ, принадлежащая Э. Уайлсу, в каком классе?