Professional Documents
Culture Documents
сникуть на сайт
сникуть на сайт
Формальна арифметика
1. ;
2. ;
3. ( Аксіома індукції). Якщо будь – яка підмножина М множини N має
властивості: а) b). то M = N;
4. ;
5. ;
6. ;
7. .
s1. ;
s2. ;
s3. ;
s4. ;
s5. ;
s6. ;
s7. ;
2
s8. ;
Означення
Система (N, ’,+,*,1), де N – непорожня множина; 1є N, ’ – унарна операція
(слідування за), + - бінарна операція додавання; * - бінарна операція, назив.
системою натур. чисел, якщо виконуються наступні аксіоми:
1)∀х: х´≠1;
а=1, f11(t)=t´, f22(t1, t2)= t1+ t2, f32(t1, t2)= t1* t2, P12(t1, t2)= t1= t2
∀х1: х´1≠1
4
∀х1, ∀х2: (( х´1= х