پاراداکس (2) دروغگو برای تئوری صدق مساله ای بس حائز اهمیت است و در واقع، تا حدود زیادی، برای پرهیز از همین پارادکس بود که تارسکی شرایط کفایت صوری (3) را برای تعاریف صدق ارایه نمود. در این مقاله می خواهیم این پارادکس و پارادکسهای مشابه و مرتبط با آن را مورد پژوهش قرار دهیم