Естествено число: Разлика между версии

Изтрито е съдържание Добавено е съдържание
м Премахнати редакции на 79.100.107.91 (б.), към версия на Vodenbot
Ред 21:
* Няма естествено число, чийто наследник е 0.
* Ако две естествени числа са различни, тогава и наследниците им са различни: ако ''a''≠''b'', тогава ''a''+1≠''b''+1.
* Ако за едно подмножество на естествените числа ''A'' важи: 0 ∈ ''A'' и за всяко ''a'' ∈ ''A'' важи ''a''+1 ∈ ''A'', то множеството ''A'' е равно на множестовотомножеството на естествените числа (Тази аксиома осигурява правилността на [[Математическа индукция|математическата индукция]] като доказателствен метод).
 
В теорията на множествата се използва следната конструкция на естествените числа, предложена от [[Джон фон Нойман]]: