Constructivist and predicativist traditions (Weyl, Feferman) reject impredicative quantification ove...