Let be given a map $F:(x,y)\in\mathbb{R}\times\mathbb{R}^n\to F(x,y)\in\mathbb{R}^n$.
Let us denote by $\mathcal{P}$ the set whose elements are the solutions of the ode $y'=F(x,y)$, i.e. the differentiable maps $u:J\to\mathbb{R}^n$, where $J\ $ is some open interval in $\mathbb{R}\ $, s.t. $u'(t)=F(t,u(t))$ for all $t\in J$.
Let $\mathcal{P}$ be endowed with the ordering by extension.
In order to prove that any element of $\mathcal{P}$ is extendable to a (not unique) maximal element, without particular hypothesis on $F$, I was wondering if the Zorn lemma can be used.