Математическая Логика: Уравнения с Единственным Решением