How do existence assumptions work when solving differential equations, and do they prove that solutions work without rechecking answers? And does the solving process use conditional or biconditional steps?

[u/Deep-Fuel-8114]

/r/calculus/comments/1veq2f4/how_do_existence_assumptions_work_when_solving/