इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें सिमेंटिक तालिकाएं औपचारिक प्रणालियों के लिए एक प्रमाण विधि हैं।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "अर्थसूचक सारणी औपचारिक प्रणालियों के लिए एक प्रमाण पद्धति है - cf. गेंटज़ेन की प्राकृतिक कटौती और अनुक्रमिक गणना, या यहां तक कि जे. एलन रॉबिन्सन का संकल्प और हिल्बर्ट की स्वयंसिद्ध प्रणालियाँ। "