逻辑与热力学：第二定律的热机公理体系

我们对汤姆孙原理与克劳修斯原理等价的陈述提出质疑。指出了所谓教科书证明中二者等价性的一处逻辑错误。据此我们精炼了热机公理体系。我们考虑由两个热源和一个机械装置构成的组态中的能量交换，并明确展示了热力学定律所禁戒的区域。