Buenas,
I )El conjunto son las sentencias que se pueden derivar a ellas mismas, osea, ALL(x)f(x) es una sentencia que se deriva a si misma por lo tanto pertenece al conjunto, ¬ALL(x)f(x) es una sentencia que se deriva a si misma por lo tanto pertenece al conjunto, ahora a partir de esas dos puedo derivar algo que no es sentencia, por lo cual ese conjunto no es una teoría.
II ) Esta parte ni siquiera la entiendo, tengo ALL(x)f(x) que es sentencia pero con ella misma no puedo derivar ¬ALL(x)f(x) (su negado) sin hipótesis, por lo tanto el conjunto es vacío.