Extensionality, proper classes, and quantum non-individuality
scientific article; zbMATH DE number 6898185