 Cartan–Kähler theorem

In mathematics, the Cartan–Kähler theorem is a major result on the integrability conditions for differential systems, in the case of analytic functions, for differential ideals formula_1.It is named for Élie Cartan and Erich Kähler.