Моё сообщение исправлено. post784377.html#p784377

ом не оформлено, да и

не пишут.
Предикаты

и

не определены, смыслового описания у них не наблюдается, ^ - неясно, что это.
Предмет обсуждения по-прежнему в явном виде отсутствует. Что Вы хотите обсуждать? Полноту, непротиворечивость, категоричность системы аксиом? Может быть есть какие-то вопросы или с помощью этой системы аксиом решены какие-то задачи?
для натуральных
чисел аксиомы Пеано, а другие, альтернативные,
старательно не замечаются.
Это враньё, можете заглянуть в Мендельсона и благополучно стереть это утверждение.
Ссылка на другой сайт вызвано тем, что
бы не быть обвинённым в плагиате.
Пусть, только оформлять её нужно по правилам (ссылка на правила в верху сайта)