Identity, Equality, Nameability and Completeness
scientific article; zbMATH DE number 6902333