Completeness and categoricity (in power): formalization without foundationalism
scientific article; zbMATH DE number 6359600
scientific article