Suppose we have a redox reaction and we want to see in what direction the reaction is spontaneous. We do this by comparing the standard reduction potentials of the sub-reactions available in the main reaction and say if $$E^\circ = E^\circ_\text{Oxidizer}-E^\circ_\text{Reducer}>0$$ then the reaction is spontaneous in the direction mentioned otherwise in the reverse direction. The same result can be obtained by comparing the standard oxidation potentials. However, as every spontaneity has its root in the second law of thermodynamics I am eager to see how the spontaneity of a redox equation in a given direction can be checked based on thermodynamics.
So basically how can we derive the condition $$E^\circ = E^\circ_\text{Oxidizer}-E^\circ_\text{Reducer}>0$$ for spontaneity of a reaction from the fundamental thermodynamics laws?
To clarify the question better let me add that I already know that the second law for a common chemical reaction yields into the condition $$dG \le 0\,,$$ my question is about to find the condition $$E^\circ =E^\circ_\text{Oxidizer}-E^\circ_\text{Reducer}>0$$ from that inequality. Also let me add further that I even already know that the electric work equals $-n F E^\circ_{\text{cell}}$ but I cannot justify for myself why $\Delta G$ is equal to this work. (Note. the electric work is an internal work not crossing the boundaries of the system, it is not the work of the system, and if it was then at best we had $\Delta G=W_{\text{max}}$ but the inequality $\Delta G\le 0$ no longer hold.)