Robinson's joint consistency theorem
ராபின்சனின் கூட்டு நிலைத்தன்மை தேற்றம் கணித தர்க்கத்தின் ஒரு முக்கியமான தேற்றமாகும். இது கிரேக் இடைக்கணிப்பு மற்றும் பெத் வரையறையுடன் தொடர்புடையது. ராபின்சனின் கூட்டு நிலைத்தன்மை தேற்றத்தின் பாரம்பரிய சூத்திரம் பின்வருமாறுஃ முதல் வரிசை கோட்பாடுகளாக இருக்கட்டும். மற்றும் சீராக இருந்தால் மற்றும் குறுக்குவெட்டு முழுமையடைந்தால் (மற்றும் பொதுவான மொழியில்), பின்னர் ஒன்றிணைப்பு சீராக இருக்கும். ஒவ்வொரு சூத்திரத்தையும் தீர்மானித்தால் ஒரு கோட்பாடு முழுமையானது என்று அழைக்கப்படுகிறது, அதாவது ஒவ்வொரு வாக்கியத்திற்கும் கோட்பாடு வாக்கியம் அல்லது அதன் மறுப்பைக் கொண்டுள்ளது, ஆனால் இரண்டும் இல்லை (அதாவது, ஒன்று அல்லது). முழுமை அனுமானத்தை நிறைவேற்றுவது மிகவும் கடினம் என்பதால், தேற்றத்தின் ஒரு மாறுபாடு உள்ளதுஃ முதல் வரிசை கோட்பாடுகளாக இருக்கட்டும். மற்றும் சீராக இருந்தால் மற்றும் பொதுவான மொழியில் எந்த சூத்திரமும் இல்லை என்றால் மற்றும் தொழிற்சங்கம் சீராக இருக்கும். மேலும் பார்க்கவும் குறிப்புகள் ராபின்சன், ஆபிரகாம், 'நிலைத்தன்மை மற்றும் வரையறையின் கோட்பாட்டிற்கு அதன் பயன்பாட்டின் விளைவாக', புரோக். ராயல் அகாடமி ஆஃப் சயின்சஸ், ஆம்ஸ்டர்டாம், தொடர் A, தொகுதி 59, pp 47-58. கணிதத்தின் அடித்தளங்களில் கணித தர்க்க கோட்பாடுகள்