Ahora considérese el conjunto Σ de sentencias expresables en dicho lenguaje dado por: