If a is a successor ordinal (a, let La L( a, a), where a is the set of (codes of) true sentences of Lb, and a is the set consisting of all elements of which either are (codes of) false sentences of Lb or are not (codes of) sentences of Lb.