Finite axiomatizability of local set theory
scientific article; zbMATH DE number 6013928