Robinson's joint consistency theorem
रॉबिन्सन की संयुक्त स्थिरता प्रमेय गणितीय तर्क की एक महत्वपूर्ण प्रमेय है। यह क्रेग अंतर्वेशन और बेथ परिभाषा से संबंधित है। रॉबिन्सन के संयुक्त स्थिरता प्रमेय का शास्त्रीय सूत्रीकरण इस प्रकार हैः आइए और प्रथम क्रम के सिद्धांत बनें। यदि और सुसंगत हैं और प्रतिच्छेदन पूर्ण है (और की सामान्य भाषा में), तो संघ सुसंगत है। एक सिद्धांत को पूर्ण कहा जाता है यदि यह प्रत्येक सूत्र तय करता है, जिसका अर्थ है कि प्रत्येक वाक्य के लिए सिद्धांत में वाक्य या उसका निषेध होता है लेकिन दोनों (यानी, या तो या) नहीं। चूँकि पूर्णता की धारणा को पूरा करना काफी कठिन है, इसलिए प्रमेय का एक प्रकार हैः आइए और प्रथम क्रम के सिद्धांत बनें। यदि और सुसंगत हैं और यदि सामान्य भाषा में ऐसा कोई सूत्र नहीं है कि और फिर संघ सुसंगत है। यह भी देखें संदर्भ रॉबिन्सन, अब्राहम, 'स्थिरता पर एक परिणाम और परिभाषा के सिद्धांत के लिए इसके अनुप्रयोग', प्रोसी। रॉयल एकेडमी ऑफ साइंसेज, एम्स्टर्डम, श्रृंखला ए, खंड 59, पीपी 47-58। गणित की नींव में गणितीय तर्क प्रमेय