Esto crea un sistema que es completo, consistente y suficientemente potente, pero no recursivamente enumerable.