How do existence assumptions work when solving differential equations? Do they prove solutions work? Do they use conditional or biconditional steps? – math.stackexchange.com

When solving a differential equation (like $\frac{dy}{dx} + 3x = 5x$, or simplified to $\frac{dy}{dx}=2x$), how does the logical framework and process of solving it work in formal/rigorous ...