Đây là tiên đề thực nghiệm không thể chứng minh từ dưới lên trong cơ học cổ điển: không ai quan sát được nhiệt tự chảy từ vật lạnh sang vật nóng. Một phát biểu tương đương (Kelvin–Planck): không tồn tại động cơ nhiệt biến toàn bộ nhiệt hấp thụ thành công. Hai phát biểu chứng minh được là tương đương: vi phạm cái này cho phép chế tạo máy vi phạm cái kia.