1. Formulasi Kelvin-Planck
” tidak mungkin untuk membuat mesin kalor yang bekerja dalam suatu siklus yang semata-mata mengubah energi panas yang diperoleh dari suatu sumber pada suhu tertentu seluruhnya menjadi usaha mekanik”

2. Formulasi Clausius
” tidak mungkin untuk membuat sebuah mesin kalor yang bekerja dalam suatu siklus yang semata-mata memindahkan energi panas dari suatu benda dingin ke benda panas”

3. Siklus Carnot
W = Q1 – Q2