Естествено число: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Редакция без резюме Етикети: Отменени Визуален редактор |
м Премахнати редакции на 88.87.8.120 (б.), към версия на Zinoviev Етикет: Отмяна |
||
Ред 17:
Следва точнa математическа аксиоматизация на естествените числа, предложенa от [[Джузепе Пеано]] през [[1889]]. Тези изказвания са познати като ''аксиоми на Пеано''.
*
* Всяко естествено число ''a'' има наследник ''a''+1, който също е естествено число.
* Няма естествено число, чийто наследник е
* Ако две естествени числа са различни, тогава и наследниците им са различни: ако ''a''≠''b'', тогава ''a''+1≠''b''+1.
* Ако за едно подмножество на естествените числа ''A'' важи:
В теорията на множествата се използва следната конструкция на естествените числа, предложена от [[Джон фон Нойман]]:
|