Title: On sentences provable in impredicative extensions of theories
Subjects: Axiomatic set theory, Predicate calculus