Predicativist mathematicians like Poincaré and Weyl reject impredicative definitions, which underlie...