История появления натуральных чисел и нуля. Теоретико-множественное определение натурального числа и нуля. Теоретико-множественное определение сложения и разности целых неотрицательных чисел. Свойства сложения

АКСИОМА 1.


Во множестве N существует элемент, непосредственно не следующий ни за каким элементом этого множества. Будем называть его единицей, и обозначать символом 1.


АКСИОМА 2.


Для каждого элемента а из N существует единственный элемент а, непосредственно следующий за а.


АКСИОМА 3.


Для каждого элемента а из N существует не более одного элемента, за которым непосредственно следует а.


АКСОИМА 4.


Всякое подмножество М множества N совпадает с N, если обладает свойствами: 1) 1 содержится в М; 2) из того, что а содержится в М, следует, что и а содержится в М.

Множество N, для элементов которого установлено отношение «непосредственно следовать за…», удовлетворяющее аксиомам 1 – 4, называется множеством натуральных чисел, а его элементы – натуральные числами.

Если в качестве множества N выбрать некоторое конкретное множество, на котором задано конкретное отношение «непосредственно следовать за…», удовлетворяющее аксиомам 1 – 4, то получим различные интерпретации (модели) даннойсистемы аксиом.

Стандартной моделью системы аксиом Пеано является возникший в процессе исторического развития общества ряд чисел: 1, 2, 3, 4, 5, …

Моделью аксиом Пеано может быть любое счетное множество.

Например, I, II, III, IIII, …

о оо ооо оооо, …

один два три четыре, …

Рассмотрим последовательность множеств, в которой множество {оо} есть начальный элемент, а каждое последующее множество получается из предыдущего приписыванием еще одного кружка (рис.15).

Тогда N есть множество, состоящее из множеств описанного вида, и оно является моделью системы аксиом Пеано.

Действительно, во множестве N  существует элемент {oo}, непосредственно не следующий ни за каким элементом данного множества, т.е. выполняется аксиома 1. Для каждого множества А рассматриваемой совокупности существует единственное множество, которое получается из А добавлением одного кружка, т.е. выполняется аксиома 2. Для каждого множества Асуществует не более одного множества, из которого образуется множество А добавлением одного кружка, т.е. выполняется аксиома 3. Если МN и известно, что множество А содержится в М, следует, что и множество, в котором на один кружок больше, чем в множестве А, также содержится в М, то М = N, и значит выполняется аксиома 4.

В определении натурального числа ни одну из аксиом опустить нельзя.