The Foundations of Mathematics I: Types

Ramsey distinguished two kinds of paradox, logical and semantic. The first kind is solved by the simple theory of types. The second kind is inexpressible in the formal system.