Teorias recursivamente axiomatizáveis.

O teorema da completude de Gödel na seguinte versão abstrata: se T é uma teoria recursivamente axiomatizável da lógica de primeira ordem com igualdade, então o conjunto (dos números de Gödel) de todas as consequências de T é recursivamente enumerável.