1302
правки
Изменения
→Свойства сложения
{{Утверждение
|about = "существование результата сложения"
|statement =<tex>\forall a, b \in N \exists x : x = a + b, x \in N</tex>
|proof =
По индукции.
База. <tex>b = 0</tex>, <tex>a + 0 = a</tex> (по свойству 1).
Переход. Пусть <tex>a + b = c\in N </tex>. Тогда <tex>a + b' = </tex> (по свойству 2) <tex> = (a + b)' = c'\in N </tex> по свойству операции <tex>(')</tex>.
}}
