3.332 Nessuna proposizione può enunciare qualcosa su se stessa, poiché il segno proposizionale non può essere contenuto in sé stesso (questa è l'intera «theory of types»).