इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें हिल्बर्ट के स्वयंसिद्ध एक प्रथम-क्रम सिद्धांत का गठन नहीं करते हैं क्योंकि इन स्वयंसिद्धों को तार्किक संकेतन में अनुवाद करने के लिए रेखाओं पर चलने वाले मात्रात्मक चर की आवश्यकता होती है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "हिल्बर्ट के स्वयंसिद्ध एक प्रथम क्रम सिद्धांत का गठन नहीं करते हैं क्योंकि परिमाणित चर रेखाओं पर हैं, जिन्हें बिंदुओं के साथ-साथ बिंदुओं के सेट के रूप में देखा जा सकता है। "