Изменения

Перейти к: навигация, поиск
м
Нет описания правки
{{Теорема
|statement=
Язык никакого нетривиального свойства <tex>A</tex> не является разрешимым.
|proof=
Приведём доказательство от противного.
129
правок

Навигация