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