Об одном базисе операторов и предикатов с неразрешимой проблемой пустоты