Sin embargo, fueron primero Clausius en 1850 y Thomson (Lord Kelvin) un año después quienes escribieron los primeros enunciados formales.