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