Обсуждение:Теории первого порядка

Лемма (2):

[math] b + a' = b' + a[/math]

Доказательство:

[math]\triangleright[/math]

Индукция по [math] a [/math]: База. [math] b + 0' = (b + 0)' [/math], [math]b' = b' + 0[/math] Переход. Пусть [math] b' + a = b + a'[/math]. Докажем, что [math] b' + a' = b + a'' [/math]. [math] b' + a' = (b' + a)' = (b + a')' = b' + a'' [/math].

[math]\triangleleft[/math]

Может [math](b + a')' = \textbf{b} + a''[/math] ?