On the formalism of many-electron dynamics