Intends to construct a theory of elimination, which 'will reduce the existence problem for a finite or infinite system of algebraic differential equations to the application of the implicit function theorem taken with Cauchy's theorem in the ordinary case and Riquier's in the partial.