Default theories that always have extensions
scientific article; zbMATH DE number 683698