theory of types, n.All

A Theory of types (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠impossible, since it tries to say what can only be shown by the symbols themselves.

The Theory of types (n.) must ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠be wrong in Russell's version, since he had to mention the meanings of signs to set up rules that should never mention meaning.