Predicativist critics like Poincaré and Weyl hold that definitions quantifying over all sets are imp...