А речь шла про решение при конкретных начальных условиях.
Не обязательно. Основным было то, что понятие решения дифференциального уравнения включает интервал, на котором это решение определено: решением дифференциального уравнения на интервале

называется функция, определённая на этом интервале и удовлетворяющая известным условиям. Рассматривать решение на несвязном множестве в принципе можно, но фактически не интересно, так как решение, определённое на одной части этого множества, невозможно однозначно продолжить на другую часть. Для уравнения

решение

, определённое на интервале

, можно "продолжить" на интервал

решением

с любой постоянной

. Эти два решения мы никак не можем связать друг с другом, чтобы отдать предпочтение какому нибудь конкретному значению

.
В случае с уравнением

ситуация была другой. Те два решения, которые я
выше рассматривал, не могут быть частями одного решения, так как при продолжении по непрерывности в точку

они имеют в этой точке разные значения, так что у нас не получится непрерывной функции на

. Напротив, требуя непрерывность продолжения, мы можем сделать продолжение однозначным (для дифференциальных уравнений более высокого порядка нужно требовать также непрерывность соответствующего числа производных).