Abstract
An existence theory for systems of two non-linear operator equations in Hilbert spaces is presented under non-resonance conditions with respect to two spectra and in terms of matrices convergent to zero. The theory is then applied to elliptic systems.