On the metamathematics of impredicative set theory | lit.salon