Claim: Cauchy–Kowalevski theorem can also be stated in abstract real or complex vector spaces however Lewy's example shows that the theorem is not valid for all smooth functions.
Evidence: The theorem can also be stated in abstract (real or complex) vector spaces. Lewy's example shows that the theorem is not valid for all smooth functions.