2. Универсальные функции и неразрешимость