f'(x) = f(x), f(0) = 1 _uniquely defines_ f(x) = e^x, the linked article basically says this.