Toda teoría completa y recursivamente enumerable es decidible sintácticamente.