A proposition cannot occur in itself. This is the fundamental truth of the theory of types.