قانون دوم ترمودینامیک متضمن این مفهوم استکه یک فرایند فقط در یک جهت معین پیش می رود و در جهت خلاف آن قابل وقوع نیست. این محدودیت برای جهت وقوع یک فرایند, مختصه قانون دوم است.اگرسیکلی متناقض با قانون اول ترمودینامیک نباشد,دلیلی براین نیست که آن سیکل حتماً اتفاق می افتد. همین امر منجر به تنظیم قانون دوم ترمودینامیک شده است. دو بیان کلاسیک از قانون دوم ترمودینامیک وجود دارد که هر دو بیانگر یک مفهوم اساسی هستند: بیان کلوین- پلانک و بیان کلازیوس ,بیان کلوین- پلانک بر پایه توضیح عملکرد موتورهای حرارتی است وبیان می دارد که غیرممکن است وسیله ای بسازیم که در یک سیکل عمل کند و در عین حال که با یک مخزن تبادل حرارت دارد اثری بجز صعود وزنه داشته باشد. این بیان از قانون دوم ترمودینامیک در بر گیرنده این مضمون است که غیر ممکن است که یک موتور حرارتی مقدار مشخصی حرارت را از جسم درجه حرارت بالا دریافت کند و همان مقدار نیز کار انجام دهد. بیان کلازیوس نیز یک بیان منفی است و اعلام می دارد که غیر ممکن است وسیله ای بسازیم که در یک سیکل عمل کند و تنها اثر آن انتقال حرارت از جسم سردتر به جسم گرمتر باشد. این بیان بر پایه توضیح عملکرد پمپهای حرارتی می باشد و دربرگیرنده این مفهوم است کهنمی توان یخچالی ساخت که بدون کار ورودی عمل کند. هر دو بیان کلاسیک از قانون دوم ترمودینامیک نوعاً بیانهای منفی هستند و اثبات بیان منفی ناممکن است. درباره قانون دوم ترمودینامیک گفته می شود"هر آزمایش مربوطی که صورت گرفته به طور مستقیم یا غیرمستقیم ﻤﺆید قانون دوم بوده و هیچ آزمایشی منجر به نقض قانون دوم نشده است. همانگونه که ذکر شد تنها گواه ما بر صحت قانون دوم ترمودینامیک آزمایشات گوناگونی است که همگی درستی این قانون را ﺘﺄیید می کنند. با این همه در ترمودینامیک کلاسیک سعی می کنند نشان دهند که اثبات معادل بودن دو بیان کلوین- پلانک و کلازیوس دلیلی بر صحت قانون دوم ترمودینامیک است. در حالیکه این امر درستی قانون دوم را اثبات نمی کند. در اثبات اینکه دو بیان فوق الذکر معادل یکدیگرند از یک مدل منطقی بهره جسته می شود که می گوید: " دو بیان, معادل هستند اگر صحت هر بیان منجر به صحت بیان دیگر گرددو اگر نقض هر بیان باعث نقض بیان دیگر شود." در ترمودینامیک کلاسیک ,برای اثبات معادل بودن دو بیان کلوین- پلانک و کلازیوس نشان داده می شود که نقض بیان کلازیوس منجر به نقض بیان کلوین- پلانک می شود. وسیله ناقض بیان کلازیوس یک پمپ حرارتی است که نیازی به کار ندارد. به دلیل اینکه انتقال حرارت خالص با منبع درجه حرارت پایین وجود ندارد پس پمپ حرارتی و موتور حرارتی و منبع درجه حرارت بالا مشتمل بر یک سیکل ترمودینامیکی است اما فقط با یک مخزن تبادل حرارت داردبنابراین نتیجه می شود کهناقضبیان کلوین- پلانک می باشد. و گفته می شود تساوی کامل این دو بیان هنگامی اثبات می شود که نقض بیان کلوین- پلانک نیز موجب نقض بیان کلازیوس بشود. با این وصف باید بپذیریم که دو بیان فوق, منتج از یکدیگر هستند. " در اثبات معادل بودن چند گزاره اگر عبارتی بصورت B ↔A بیان شده باشد آنگاه B نتیجه A است و A هم نتیجه B, بعبارت دیگر AوB معادل یکدیگر هستند, بالعکس اگر A وBمعادل یکدیگرباشند,هریک از آنها نتیجه دیگری است."معادل بودن دو بیان کلوین- پلانک و کلازیوس را می توان با استفاده از قانون لایب نیتس نشان داد که می گوید: اگر Aو Bیکسان و همانند باشند باید تمام ویژگیها و خاصه های آنها نیز یکسان باشد.از اصل لایب نیتسگاهی به عنوان اصلنامتمایز بودن همانها indescernibility ofidenticals یاد می شود.در واقع این اصل منطقی بیان می دارد که " اگر یک ویژگی یافت شود که A آن را داراست اما B فاقد آن است بنابراین A وBموجودیتهای مجزایی خواهند بود." دو بیان کلازیوس و کلوین- پلانک معادل یکدیگرند زیرا که هر دو متضمن این ویژگی هستند که ساخت یک ماشین حرکت دائمی Perpetualmovementmachine ممکن نمی باشد. روشهای اثبات منطقی در بسیاری از قضایای ترمودینامیک بر پایهء آزمایشهای ذهنی می باشد. نظیر اثبات قضایای کارایی سیکل کارنو که در آن نخست فرضی را مطرح کرده و سپس نشان داده می شود که آن فرض به نتایج غیرممکن می انجامد و چون روش استدلال در این آزمایش ذهنی نوعاً درست بوده تنها حالت ممکن این است که فرض اولیه نادرست باشد.
اغلب گفته می شود که نامساوی کلازیوس لازمه قانون دوم ترمودینامیک است. نامساوی کلازیوس را با بررسی سیکل موتور حرارتی و یخچال اثبات می کنند. اما با التفات به اثبات نامساوی کلازیوس باید بپرسیم که چگونه نامساوی کلازیوس لازمه قانون دوم است در حالیکه طی مراحل آن از قانون دوم مستثنی نیست و در روند اثبات آن مدام بهقانون دوم استناد می شود؟در اینجا نامساوی کلازیوس,صحت خود را از درستی ازپیش معلوم فرض شدهء قانون دوم وام می گیرد"هر دلیلی که در دفاع از فرضیه ای اقامه می کنیم باید غیر از نتیجه و مستقل از آن باشد. اگر تنها گواه صدق ما خود نتیجه باشد استنتاج مشتمل بر دور و لذا کاملاً نارضایت بخش خواهد بود." گواه صدق نامساوی کلازیوس نیز قانون دوم است بنابراین نامساوی کلازیوس نمی تواند لازمه قانون دوم ترمودینامیک باشد.