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