Template:Individual-TLP-paragraph-en-3.332

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”).