3.332

No proposition can say anything about itself, because the propositional sign cannot be contained in itself (that is the “whole theory of types”).

202