Мат.логика доказать теорему теории S-формальной арифметики

[MakagonovD]

$\forall x($A(x)\to\exists(y<x \wedge A(y))$)\rightarrow \forall x \neg A(x)$

Это задание из Мендельсона,так называемый метод бесконечного спуска,нужно доказать это утверждение. Ребят подскажите как это сделать,кучу литературы перебрал...ничего толкового не нашёл...

[Toucan]

Тема перемещена в Карантин.

Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.