Robinson's joint consistency theorem
રોબિન્સનનો સંયુક્ત સુસંગતતા પ્રમેય એ ગાણિતિક તર્કશાસ્ત્રનો એક મહત્વપૂર્ણ પ્રમેય છે. તે ક્રેગ ઇન્ટરપોલેશન અને બેથ ડેફિનિબિલિટી સાથે સંબંધિત છે. રોબિન્સનના સંયુક્ત સુસંગતતા પ્રમેયની શાસ્ત્રીય રચના નીચે મુજબ છેઃ ચાલો અને પ્રથમ ક્રમના સિદ્ધાંતો બનો. જો અને સુસંગત હોય અને આંતરછેદ પૂર્ણ હોય (અને ની સામાન્ય ભાષામાં), તો પછી જોડાણ સુસંગત છે. એક સિદ્ધાંતને પૂર્ણ કહેવામાં આવે છે જો તે દરેક સૂત્ર નક્કી કરે છે, એટલે કે દરેક વાક્ય માટે સિદ્ધાંતમાં વાક્ય અથવા તેની નકારાત્મકતા હોય છે પરંતુ બંને (એટલે કે, ક્યાં તો અથવા) નહીં. સંપૂર્ણતાની ધારણાને પૂર્ણ કરવી ખૂબ જ મુશ્કેલ હોવાથી, પ્રમેયનો એક પ્રકાર છેઃ ચાલો અને પ્રથમ ક્રમના સિદ્ધાંતો બનો. જો અને સુસંગત હોય અને જો સામાન્ય ભાષામાં એવું કોઈ સૂત્ર ન હોય કે અને પછી જોડાણ સુસંગત હોય. સંદર્ભો રોબિન્સન, અબ્રાહમ, 'સુસંગતતા પરનું પરિણામ અને વ્યાખ્યાના સિદ્ધાંતમાં તેનો ઉપયોગ', પ્રોસી પણ જુઓ. રોયલ એકેડેમી ઓફ સાયન્સિસ, એમ્સ્ટરડેમ, શ્રેણી A, વોલ્યુમ 59, pp 47-58. ગણિતના પાયામાં ગાણિતિક તર્ક સિદ્ધાંતો