A solution is unique when any two objects satisfying the stated conditions are equal. This is an at-most-one assertion; existence is a separate requirement. A common proof assumes two solutions, subtracts their equations, and proves that their difference vanishes. For a linear differential equation this turns the task into a homogeneous problem with zero boundary or initial data.
