3.332 No proposition can say anything about itself, because the prop-ositional sign cannot be contained in itself (that is the “whole theory of types”). 3.333 A function cannot be its own argument, because the functional sign already contains the prototype of its own argument and it cannot contain itself.
Where does it end
