Об аксиоме спуска. Кочкарев Б.С.

В 2015 году мы в нашей опубликованной работе "К методу спуска Ферма" к аксиомам Пеано для натуральных чисел добавили аксиому спуска, которая является алгебраической интерпретацией метода спуска Ферма, с помощью которого он доказал свою гипотезу о диофантовых уравнениях Ферма для частного случая n = 4. Хотя с помощью этой аксиомы спуска мы доказали много утверждений в теории чисел (смотри, например, работу "Проблема близнецов и другие бинарные проблемы" она, к сожалению, до сих пор не принята читателями, так как отзывов по этому поводу мы не имеем.