Изменения

Переход. Пусть <tex> b' + a = b + a'</tex>. Докажем, что <tex> b' + a' = b + a'' </tex>.

}}

(A5) & a + b' = (a+b)' \\

(A6) & a + 0 = a \\

(A8) & a \cdot b' = a \cdot b + a \\

(A9) & (\psi [x := 0]) \& \forall{x}((\psi) \rightarrow (\psi) [x := x']) \rightarrow (\psi)\\