ОБ АКСИОМАТИЧЕСКОМ ПОСТРОЕНИИ ТЕОРИИ

 

При аксиоматическом построении какой-либо теории соблюдаются определенные правила:

• некоторые понятия теории выбираются в качестве основных, и принимаются без определения и называется неопределяемыми.

• формулируются аксиомы – предложения, которые в данной теории принимаются без доказательства; в них раскрывают свойства основных понятий;

• каждому понятию теории, которое не содержится в списке основных, дается определение, в нем разъясняется его смысл помощью основных и предшествующих данному понятий;

• каждое предложение теории, которое не содержится в списке аксиом, должно быть доказано; такие предложения называются теоремами и доказывают их на основе аксиом и теорем, предшествующих рассматриваемой.

При аксиоматическом построении теории по существу все утверждения выводятся путем доказательства из аксиом. Поэтому к системе аксиом предъявляются особые требования. Прежде всего, она должна быть непротиворечивой и независимой.

Система аксиом называется непротиворечивой, если из нее нельзя логически вывести два взаимно исключающих друг друга предложения.

Непротиворечивая система аксиом называется независимой, если никакая из аксиом этой системы не является следствием других аксиом этой системы.

Аксиомы, как правило, являются отражением многовековой практической деятельности людей, и этим обусловливается их справедливость.

В качестве основного понятия при аксиоматическом построении арифметики натуральных чисел взято отношение «непосредственно следовать за», заданное на непустом множестве N. Известными также считаются понятия множества, элемента множества и другие теоретико-множественные понятия, а также правила логики.

Элемент, непосредственно следующий за элементом а, обозначают а'. Суть отношения «непосредственно следовать за» раскрывается в следующих аксиомах, предложенных итальянским математиком Дж. Пеано в 1891 году.

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

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

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

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

Сформулированные аксиомы часто называют аксиомами Пеано, а аксиому четвертую – аксиомой индукции.

Запишем эти аксиомы в символической форме.

А₁)($1Î N)(" aÎ N) а'¹ 1;

А₂)(" aÎ N)($! bÎ N) а'=b

А₃) (" а, b, с Î N)с = а' Ù с = b' Þ а = b;

A₄) MÌ NÙ [1Î MÙ (aÎ MÞ а'Î M)] Þ M=N

Используя отношение «непосредственно следовать за» и аксиомы Пеано 1-4, можно дать следующее определение натурального числа.

___________________________________________________________________

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

______________________________________________________________________________________________

___________________________________________________________________

Определение 2. Если натуральное число b непосредственно следует за числом а, то число а называется непосредственно предшествующим (предшествующим) числу b.

______________________________________________________________________________________________

Теорема 1. Единица не имеет предшествующего натурального числа (истинность теоремы вытекает сразу из аксиомы А₁).

Теорема 2. Каждое натуральное число а, отличное от единицы имеет предшествующее число b, такое, что b ' = а.

В определении натурального числа ничего не говорит о природе элементов множества N. Значит, она может быть какой угодно. Стандартной моделью системы аксиом Пеано является возник­ший в процессе исторического развития общества ряд чисел:

1, 2, 3, 4, 5,..,

Каждое число этого ряда имеет свое обозначение и название, которые будем считать известными.

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

1 a b c d

·® ·®·® ·® ·¾ …

Рис. 16 Рис. 17