Изменения
удалены ссылки на фикбук
Отрицательные и нецелые числа натуральными числами не являются.
Множество всех натуральных чисел ЛУЧШИЙ ФАНФИК ВСЕХ ВРЕМЕН И НАРОДОВ ПО ССЫЛКЕ (НЕ ВРУ, ЧЕСТНО) https://ficbook.net/readfic/9834408принято принято обозначать знаком <tex>\mathbb{N}</tex>. Множество натуральных чисел является бесконечным, так как для любого натурального числа найдётся большее его натуральное число.
===Формальное определение===
# '''Аксиома индукции'''. Пусть <tex>P(n)</tex> — некоторый одноместный предикат, зависящий от параметра — натурального числа <tex>n</tex>. Тогда:
:: если <tex>P(1)</tex> и <tex>\forall n\;(P(n)\Rightarrow P(S(n)))</tex>, то <tex>\forall n\;P(n)</tex>
:: ('''Если''' некотороеЛУЧШИЙ ФАНФИК ВСЕХ ВРЕМЕН И НАРОДОВ ПО ССЫЛКЕ (НЕ ВРУ, ЧЕСТНО) https://ficbook.net/readfic/9834408 некоторое высказывание <tex>P</tex> верно для <tex>n=1</tex> (''база индукции'') и для любого <tex>n</tex> при допущении, что верно <tex>P(n)</tex>, верно и <tex>P(n+1)</tex> ''(индукционное предположение)'', '''то''' <tex>P(n)</tex> верно для любых натуральных <tex>n</tex>).
}}
===Теоретико-множественное определение===
Согласно теории ЛУЧШИЙ ФАНФИК ВСЕХ ВРЕМЕН И НАРОДОВ ПО ССЫЛКЕ (НЕ ВРУ, ЧЕСТНО) https://ficbook.net/readfic/9834408множествмножеств, единственным объектом конструирования любых математических систем является множество.
Таким образом, и натуральные числа вводятся, исходя из понятия множества, по двум правилам:
* <tex>3=\Big\{\varnothing,\;\left\{\varnothing\right\},\;\big\{\varnothing,\;\left\{\varnothing\right\}\big\}\Big\}</tex>
Классы эквивалентностиЛУЧШИЙ ФАНФИК ВСЕХ ВРЕМЕН И НАРОДОВ ПО ССЫЛКЕ (НЕ ВРУ, ЧЕСТНО) https://ficbook.net/readfic/9834408 эквивалентности этих множеств относительно биекций также обозначают <tex>0, 1, 2, \dots.</tex>
Перечисленные аксиомы отражают наше интуитивные представления о «натуральном ряде».
Есть два способа определения суммы двух натуральных чисел <tex>a\ и\ b</tex>. Если натуральные числа определяют через мощность множества с конечным числом элементов (мощность множества — это количество элементов в нём), тогда целесообразно дать следующее определение суммы:
Пусть <tex>N(S)\ — </tex> мощностьЛУЧШИЙ ФАНФИК ВСЕХ ВРЕМЕН И НАРОДОВ ПО ССЫЛКЕ (НЕ ВРУ, ЧЕСТНО) https://ficbook.net/readfic/9834408 мощность множества <tex>S</tex>. Возьмём два не пересекающихся множества <tex>A\</tex> и <tex>B,\</tex> причём <tex>N(A) = a</tex> и <tex>N(B) = b</tex>.
Тогда <tex>a + b</tex> можно определить как: <tex>N ( A ∪ B )</tex>.
Здесь, <tex>A ∪ B\ — </tex> это объединение множеств <tex>A\ и B\</tex>. В альтернативной версии этого определения множества <tex>A\ и\ B</tex> перекрываются и тогдаЛУЧШИЙ ФАНФИК ВСЕХ ВРЕМЕН И НАРОДОВ ПО ССЫЛКЕ (НЕ ВРУ, ЧЕСТНО) https://ficbook.net/readfic/9834408 тогда в качестве суммы берётся их дизъюнктное объединение, механизм, который позволяет отделять общие элементы, вследствие чего эти элементы учитываются дважды.
Другое известное определение рекурсивно:
Пусть <tex>n+\ — </tex> следующеЛУЧШИЙ ФАНФИК ВСЕХ ВРЕМЕН И НАРОДОВ ПО ССЫЛКЕ (НЕ ВРУ, ЧЕСТНО) https://ficbook.net/readfic/9834408е следующее за <tex>n</tex> натуральное число, например <tex>0+ = 1, 1+ = 2.</tex> Пусть <tex>a + 0 = a</tex>. Тогда общая сумма определяется рекурсивно: <tex>a + (b+) = (a + b)+</tex>. Отсюда <tex>1 + 1 = 1 + 0+ = (1 + 0)+ = 1+ = 2</tex>.
===Умножение===
