Second-order logic and the power set
scientific article; zbMATH DE number 6845737