Differential-Algebraic Systems and Formal Integrability