 Most mathematicians are not predicativists; in our opinion the best answer to predicativist objections is to deny that comprehension axioms can properly be construed as definitions (though we admit that we seem to find ourselves frequently speaking loosely of \(\phi\) as the condition which “defines” \(\{x \mid \phi \})\).