Robinson's joint consistency theorem
রবিনসনের যৌথ সামঞ্জস্য উপপাদ্য গাণিতিক যুক্তির একটি গুরুত্বপূর্ণ উপপাদ্য। এটি ক্রেইগ ইন্টারপোলেশন এবং বেথ ডেফিনিবিলিটির সাথে সম্পর্কিত। রবিনসনের যৌথ সামঞ্জস্য উপপাদ্যের ধ্রুপদী সূত্রটি নিম্নরূপঃ প্রথম-ক্রমের তত্ত্ব হতে দিন। যদি এবং সামঞ্জস্যপূর্ণ হয় এবং ছেদটি সম্পূর্ণ হয় (এবং এর সাধারণ ভাষায়), তবে মিলনটি সামঞ্জস্যপূর্ণ। একটি তত্ত্বকে সম্পূর্ণ বলা হয় যদি এটি প্রতিটি সূত্র নির্ধারণ করে, যার অর্থ হল যে প্রতিটি বাক্যের জন্য তত্ত্বটিতে বাক্য বা তার নেতিবাচকতা রয়েছে তবে উভয়ই (অর্থাৎ, হয় বা) নয়। যেহেতু সম্পূর্ণতার অনুমানটি পূরণ করা বেশ কঠিন, তাই উপপাদ্যটির একটি বৈকল্পিক রয়েছেঃ ধরা যাক এবং প্রথম-ক্রমের তত্ত্ব হতে হবে। যদি এবং সামঞ্জস্যপূর্ণ হয় এবং যদি সাধারণ ভাষায় এবং এর মতো কোনও সূত্র না থাকে এবং তারপর মিলন সামঞ্জস্যপূর্ণ হয়। আরও দেখুন রেফারেন্স রবিনসন, আব্রাহাম, 'ধারাবাহিকতার উপর একটি ফলাফল এবং সংজ্ঞা তত্ত্বে এর প্রয়োগ', প্রোক। রয়্যাল অ্যাকাডেমি অফ সায়েন্সেস, আমস্টারডাম, সিরিজ এ, খণ্ড 59, পৃষ্ঠা 47-58। গণিতের ভিত্তির মধ্যে গাণিতিক যুক্তি উপপাদ্য