ZF and Boolean algebra
scientific article; zbMATH DE number 3564973
scientific article