The second law of thermodynamics proposed by Clausius, Kelvin, Carnot ..etc in its original form as T dS> dQ for irreversible process and Tds =dQ only for reversible thermodynamics process.
This particular formulation may be stated in many "equivalent" forms most common is : The Carnot cycle is the most thermally efficient between T2 and T1. However, there is still controversy debate: this statement can not be exactly equal to the second law it is just a corollary?