熱力学第二法則（ケルビンの表現）
ただ一つの温度 の熱浴から熱を吸収し、それを全部仕事に変え、自分自身は元の状態に戻る、という循環過程を行う装置は存在しない。
閉包の状態
公理
公理は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
- 成功した悪魔は第二種永久機関を生む✓命題 3.2・マクスウェルの悪魔
ただ一つの温度 の熱浴から熱を吸収し、それを全部仕事に変え、自分自身は元の状態に戻る、という循環過程を行う装置は存在しない。
公理
公理は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。