(from the article `mathematics, foundations of`) ...impredicative constructions. Russell and Whitehead tried unsuccessfully to base mathematics on a predicative type theory; but, though reluctant, ...

Found on http://www.britannica.com/eb/a-z/a/132

**No exact match found**