Wednesday, October 11, 2006

This Post is False

Via Kleene's Introduction to Metamathematics, a nice restatement of the Russell Paradox, apparently due to Russell:

A property is called 'predicable' if it applies to itself, 'impredicable' if it does not apply to itself. For example, the property 'abstract' is abstract, and hence predicable. the property 'concrete' is also abstract, and hence is impredicable. What about the property 'impredicable'?

No comments: