Прошу прокомментировать мои опубликованные в дзене работы, особенно с использованием аксиомы спуска, введенной в работе "К методу спуска Ферма".