Заморская система уравнений, которую только что мне прислал Фрэнк Алджернон Каупервуд из Eastern State Penitentiary

Единственное решение: (1 ; -1).
Дело в том, что 0 < x ≤ 1. Если х = 1, то поскольку у < 0, то у = -1.
Если же 0 < x < 1, то первое уравнение запишем в виде (y^2 - 1)^2 + x - 1 = lnx. Но при
0 < x < 1 => lnx < x - 1 => тем более (y^2 - 1)^2 + x - 1 > lnx.