b'\n_START_ARTICLE_\nTeorema de craig\n_START_PARAGRAPH_\nNa l\xc3\xb3gica matem\xc3\xa1tica , o teorema de Craig afirma que qualquer conjunto recursivamente enumer\xc3\xa1vel de f\xc3\xb3rmulas bem formadas de uma linguagem de primeira ordem \xc3\xa9 (primitivamente) recursivamente axiomatiz\xc3\xa1vel. Este resultado n\xc3\xa3o est\xc3\xa1 relacionado com o bem conhecido teorema de interpola\xc3\xa7\xc3\xa3o de Craig.'