1302
правки
Изменения
м
<tex> a + 0 = a </tex>== Свойства сложения ===
Нет описания правки
* Если некоторое предположение верно для <tex>0</tex>, и если из допущения его для <tex>n</tex> можно вывести его истинность для <tex>n+1</tex>, то предположение верно для любого элемента множества.
Данная аксиоматика позволяет определить натуральные числа (множество натуральных чисел — — это множество, удовлетворяющее аксиомам Пеано; заметим, что тут натуральные числа содержат 0, так оказывается удобнее) и операции над ними. Например, сложение можно задать следующими уравнениями (будем называть их свойствами сложения):
# <tex> a + 0 = a </tex># <tex> a + b' = (a + b)'</tex>
{{Лемма
