Robinson's joint consistency theorem
رابنسن کا مشترکہ مستقل مزاجی نظریہ ریاضیاتی منطق کا ایک اہم نظریہ ہے۔ اس کا تعلق کریگ انٹرپولیشن اور بیت کی تعریف سے ہے۔ رابنسن کے مشترکہ مستقل مزاجی کے نظریہ کی کلاسیکی تشکیل مندرجہ ذیل ہے: آئیے اور پہلے درجے کے نظریات بنیں۔ اگر اور مستقل ہیں اور چوراہا مکمل ہے (اور کی مشترکہ زبان میں)، تو اتحاد مستقل ہے۔ ایک نظریہ کو مکمل کہا جاتا ہے اگر یہ ہر فارمولے کا فیصلہ کرتا ہے، مطلب یہ ہے کہ ہر جملے کے لیے نظریہ جملے یا اس کی نفی پر مشتمل ہوتا ہے لیکن دونوں پر نہیں (یعنی، یا تو یا)۔ چونکہ مکمل ہونے کے مفروضے کو پورا کرنا کافی مشکل ہے، اس لیے نظریہ کی ایک قسم ہے: آئیے اور پہلے درجے کے نظریات بنیں۔ اگر اور مستقل ہیں اور اگر عام زبان میں اور اس طرح کا کوئی فارمولا نہیں ہے اور پھر اتحاد مستقل ہے۔ یہ بھی دیکھیں حوالہ جات رابنسن، ابراہم، 'مستقل مزاجی کا نتیجہ اور تعریف کے نظریہ پر اس کا اطلاق'، پروک۔ رائل اکیڈمی آف سائنسز، ایمسٹرڈیم، سیریز اے، جلد 59، پی پی 47-58۔ ریاضی کی بنیادوں میں ریاضیاتی منطق کے نظریات