No proposition can say anything about itself, because the symbol of the proposition cannot be contained in itself; this must be the basis of the theory of logical types.