In this work we investigate several mathematical aspects of the BCS theory of superconductivity. A full abstract is contained in the document.