<logic> If an adjective truly describes itself, call it "autological", otherwise call it "heterological". For example, "polysyllabic" and "English" are autological, while "monosyllabic" and "pulchritudinous" are heterological. Is "heterological" heterological? If it is, then it isn't; if it isn't, then it is. Grelling's paradox cannot be expressed in first-order predicate logic, and is difficult to prevent in higher-order predicate logics.
[Glossary of First-Order Logic]
Try this search on OneLook / Google