- La afirmación de Kelvin-Planck:"Es imposible construir un dispositivo que funcione en un ciclo y no produzca otro efecto que la transferencia de calor de un cuerpo más frío a un cuerpo más caliente".
- La afirmación de Clausius:"El calor no puede fluir espontáneamente de un objeto más frío a un objeto más caliente sin una fuente externa de energía".
- El teorema de Carnot:"La eficiencia de una máquina térmica que funciona entre dos temperaturas fijas es independiente de la sustancia de trabajo utilizada".
- El principio de la entropía:"La entropía total de un sistema aislado nunca puede disminuir".
Todas estas formulaciones son equivalentes entre sí y todas expresan el principio fundamental de que el calor fluye de lo caliente a lo frío y que el trabajo útil sólo puede extraerse de un sistema agregando energía o reduciendo entropía.