इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें करी का विरोधाभास औपचारिक तर्क में भी होता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "क्यारी का विरोधाभास औपचारिक तर्क में भी होता है, यदि मान लें कि एक वाक्य '' X → Y'है जहां X स्वयं (X → Y) के बराबर है। "