Всем доброго времени суток!
Что будет если из аксиоматики Пеано выкинуть аксиому индукции? Я правильно понимаю, что, например, такая "штука" удовлетворяет первым 3 аксиомам но не является мн-вом нат. чисел?
1->4->5->...
2->3->2...