Skip to content

1 definition

Definition.com

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