Изменения
Добавил id к определению универсального языка, чтобы ссылаться на него из других конспектов
{{Определение
|id=uni
|definition=Язык <tex>\ U = \{\langle p, x \rangle \ |\ p(x) = 1\} </tex> называется '''универсальным''' ('''universal language''').
}}