Dgerasimov
переименовал Обсуждение:Лекция 6 в Обсуждение:Теории первого порядка
20:49
Tanfilyev
Нет описания правки
06:16
+17
Новая страница: «{{Лемма |about = 2 |statement = <tex> b + a' = b' + a</tex> |proof = Индукция по <tex> a </tex>: База. <tex> b + 0' = (b + 0)' </tex>, <tex>b' = ...»
06:15
+403