Take (φ).φ!x. Then if we describe the kind of symbols, for which φ! stands & which, by the above, is enough to determine the type, then automatically “(φ).φ!x” cannot be fitted by this description, because it contains „φ!x” & the description is to describe all that symbolizes in symbols of the φ! – kind. If the description is thus complete vicious circles can just as little occur as for instance in (φ).φ(x) || (φ).(x)φ (where (x)φ is a subject-predicate proposition).


1