而非热质说）的证明需要热力学第二定律。
定理的表述.卡诺定理表述为：
卡诺循环.在定理表述中的可逆热机工作机制是按照卡诺于1824年所提出的卡诺循环，是由两个绝热过程，两个等温过程组成的循环。利用热力学第一定律和理想气体状态方程，可以得到其效率formula_22。(其中formula_6、formula_1为热力学温标下高、低温热源温度）
卡诺定理的证明.定理可以利用热力学第二定律的克劳修斯表述进行证明。假设存在一违反卡诺定