Full Idea
Set theory offers the promise of a complete mathematization of the 'is' of predication.
Clarification
The 'is of predication' is found in "the tree IS big" (as opposed to the 'is' of existence or identity). Things may have characteristics simply because they are members of a particular set of things.
Gist of Idea
Set theory attempts to reduce the 'is' of predication to mathematics
Source
José A. Benardete (Metaphysics: the logical approach [1989], Ch.13)
Book Reference
Benardete,José A.: 'Metaphysics: The Logical Approach' [OUP 1989], p.89