axiom of reducibility

(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