Definition.com
A Theory of types (n.) is impossible, since it tries to say what can only be shown by the symbols themselves.
1 definition
A Theory of types (n.) is impossible, since it tries to say what can only be shown by the symbols themselves.