16475 | A 'heterological' predicate can't be predicated of itself; so is 'heterological' heterological? Yes=no! [Russell] |
10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |